First-order Predicate Logic Proposition Proved by Using Predicate/ Transition Net
Yuyin Xu · Jisuanji gongcheng · 2006
This paper studies the proof of first-order predicate propositions.By using predicate/transition net,first-order predicate propositions of general form can be expressed.Furthermore,two proving methods,which are proved by graphics and matrix are proposed.In the end,an example is given to illustrate the main idea of the proving procedure.