Abstract: 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.

Key words: Enlogy, Predicate/Transition net, First-order predicate logic, Proposition proving

摘要： 研究了证明一般的一阶谓词逻辑命题的方法，根据网逻辑的思想，利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示，提出了2种一阶谓词逻辑命题的证明方法：图形证明法和矩阵证明法。举出一个实际的例子来说明证明思路。

关键词: 网逻辑, 谓词/变迁网, 一阶谓词逻辑, 命题证明