命题逻辑与数学证明方法(Ⅰ) |
| |
引用本文: | 孙宗明,梁凤鸣.命题逻辑与数学证明方法(Ⅰ)[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 |
本文献已被 维普 等数据库收录! |