网逻辑相关硕士博士期刊学术论文

研究了证明一般的一阶谓词逻辑命题的方法，根据网逻辑的思想，利用谓词，变迁网对一般形式的一阶谓词逻辑命题进行了图形表示，提出了2种......