| 命题演算中逻辑推理的推导法 |
| |
| 引用本文： | 李少凌,周宏安.命题演算中逻辑推理的推导法[J].陕西理工学院学报(自然科学版),1996(3). |
| |
| 作者姓名： | 李少凌 周宏安 |
| |
| 作者单位： | 陕西工学院学报编辑部(李少凌)，陕西工学院基础课部(周宏安) |
| |
| 摘 要： | 本文由命题的等价性及蕴含性，提出证明命题的推导法，并以例说明。该法则的引用，使命题的逻辑推理运算将更加简单、明确、易掌握
|
| 关 键 词： | 命题 推导法 |
Derivative Methods of Logical Reasoning in Propostional Calculus |
| |
| Zhou,Hongan.Derivative Methods of Logical Reasoning in Propostional Calculus[J].Journal of Shananxi University of Technology:Natural Science Edition,1996(3). |
| |
| Authors: | Zhou Hongan |
| |
| Abstract: | This paper,on the basis of the equivalence and inclusion relation properties,preseuts the reasoning method in proving propositionnal calculus and gives some examples.the adoption of this method makes the logical reasoning calculus simpler,more definite and easier to master. |
| |
| Keywords: | ropositional calculus Reasoning method |
| 本文献已被 CNKI 等数据库收录！ |
