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

First-order Predicate Logic Proposition Proved by Using Predicate/ Transition Net

作　　者：方欢[1] 印玉兰[1] 徐誉尹[2] 

机构地区：[1]安徽理工大学数理系,淮南232001 [2]山东科技大学信息与工程学院,青岛266510

出　　处：《计算机工程》2006年第23期191-192,198,共3页Computer Engineering

基　　金：国家自然科学基金资助项目(60173053)

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

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

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]