利用谓词/变迁网证明的一阶谓词逻辑命题

作者：方欢; 印玉兰; 徐誉尹

来源：计算机工程, 2006, (23): 191-192+198.

• 网逻辑
• 谓词/变迁网
• 一阶谓词逻辑
• 命题证明 Enlogy
• Predicate/Transition net
• First-order predicate logic
• Proposition proving

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

• 单位
  山东科技大学; 安徽理工大学