10.3969/j.issn.1000-3428.2006.23.068
利用谓词/变迁网证明的一阶谓词逻辑命题
研究了证明一般的一阶谓词逻辑命题的方法,根据网逻辑的思想,利用谓词/变迁网对一般形式的一阶谓词逻辑命题进行了图形表示,提出了2种一阶谓词逻辑命题的证明方法:图形证明法和矩阵证明法.举出一个实际的例子来说明证明思路.
网逻辑、谓词/变迁网、一阶谓词逻辑、命题证明
32
TP18(自动化基础理论)
国家自然科学基金60173053
2006-12-25(万方平台首次上网日期,不代表论文的发表时间)
共3页
191-192,198