|
|||||
|
|
| 命题逻辑与数学证明方法(Ⅱ) | |
| 引用本文： | 孙宗明,;梁凤鸣.命题逻辑与数学证明方法(Ⅱ)[J].泰山学院学报,2013(6). |
| 作者姓名： | 孙宗明 ;梁凤鸣 |
| 作者单位： | [1]泰山学院数学与统计学院; [2]泰山学院学报编辑部,山东泰安,271021 |
| 摘 要： | 简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法. |
| 关 键 词： | 推理 推理格式 数学证明 数学证明方法 |
The Propositional Logic and the Methods of Mathematical Proofs |
|
| Institution: | SUN Zong-ming[1] LIANG Feng-ming[2] |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ | |