| 命题逻辑与数学证明方法（Ⅰ） |
| |
| 引用本文： | 孙宗明,梁凤鸣.命题逻辑与数学证明方法（Ⅰ）[J].泰安师专学报,2012(6):1-9. |
| |
| 作者姓名： | 孙宗明 梁凤鸣 |
| |
| 作者单位： | [1]泰山学院数学与统计学院 [2]泰山学院学报编辑部,山东泰安271021 |
| |
| 摘 要： | 简单地讨论了命题逻辑，用命题逻辑全面地研究了推理格式和数学证明方法，形成一个完整的系统，内容包括命题逻辑．
|
| 关 键 词： | 命题逻辑 数学证明方法 数理逻辑 |
The Propositional Logic and the Methods of Mathematical Proofs （Ⅰ） |
| |
| Institution: | SUN Zong - ming, LIANG Feng - ming ( 1. School of Mathematics and Statistics, Taishan University; 2. Editorial Board of the Journal, Taishan University, Tai＇an, 271021, China) |
| |
| Abstract: | In this paper, the authors simply discuss the propositional logic, fully study the deduction forms and the methods of mathematical proofs using propositional logic. A comprehensive system is formed. This is the first section which includes the propositional logic. |
| |
| Keywords: | propositional logic method of mathematical proofs mathematical logic |
| 本文献已被 维普 等数据库收录！ |
