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

• 作者: 印玉兰 徐誉尹 方欢
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 网逻辑 谓词/变迁网 一阶谓词逻辑 命题证明
• 年，卷（期）: 2006,（23）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 191-192,198
• 页数: 3页
• 分类号: TP18
• 字数: 2844字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2006.23.068

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	印玉兰	安徽理工大学数理系	2	5	1.0	2.0
5	方欢	安徽理工大学数理系	107	228	9.0	11.0
7	徐誉尹	山东科技大学信息与工程学院	6	23	4.0	4.0