| 逻辑恒等式的若干证法 |
| |
| 引用本文： | 孙霞林.逻辑恒等式的若干证法[J].华中农业大学学报,2001,20(4):404-406. |
| |
| 作者姓名： | 孙霞林 |
| |
| 作者单位： | 武汉化工学院计算机系 |
| |
| 摘 要： | 全面系统地总结了逻辑恒等式的证明方法，在阐明各种证法的思想、方法的基础上，用形式多样的例子说明了逻辑恒等式的证明步骤，并简要的介绍了一些方法的使用技巧。
|
| 关 键 词： | 证明方法 逻辑恒等式 逻辑代数 真值表法 公式法 对偶法 |
Provable Methods of Equivalence of Logical Identities |
| |
| Sun,Xialin.Provable Methods of Equivalence of Logical Identities[J].Journal of Huazhong Agricultural University,2001,20(4):404-406. |
| |
| Authors: | Sun Xialin |
| |
| Abstract: | This paper has comprehensively and systematic ally summed up the provable methods of equivalence of logical identities on the basis of expounding various provable methods and illustrating, the provable steps of logical identities by means of various examples. Techniques for using the methods are alos introduced. |
| |
| Keywords: | provable methods logical identities logical algebra |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《华中农业大学学报》浏览原始摘要信息 |
| 点击此处可从《华中农业大学学报》下载免费的PDF全文 |
