| 命题逻辑等值演算的计算机求解方法 |
| |
| 引用本文： | 万继光,詹玲. 命题逻辑等值演算的计算机求解方法[J]. 信阳师范学院学报(自然科学版), 1999, 12(2): 149-151 |
| |
| 作者姓名： | 万继光 詹玲 |
| |
| 作者单位： | 1. 信阳师范学院计算机系.河南,信阳,464000
2. 信阳师范学院数学系.河南,信阳,464000 |
| |
| 摘 要： | 探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。
|
| 关 键 词： | 广义表 命题逻辑 等值演算 联接词 计算机 |
Approach to Formal Deduction of Propositional Logic |
| |
| Wan Jiguang. Approach to Formal Deduction of Propositional Logic[J]. Journal of Xinyang Teachers College(Natural Science Edition), 1999, 12(2): 149-151 |
| |
| Authors: | Wan Jiguang |
| |
| Abstract: | Attribute of generalized list in data structure is used to the design for logical and storage structure of propositional logic expression on the computer and used to realise its basic manipulation and complex formal deduction on this structure. |
| |
| Keywords: | Generalized list Propositional logic Formal deduction Connective |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
