命题逻辑与数学证明方法(Ⅲ)  

The Propositional Logic and the Methods of Mathematical Proofs( Ⅲ)

作　　者：孙宗明[1] 

机构地区：[1]泰山学院数学与统计学院,山东泰安271021

出　　处：《泰山学院学报》2014年第6期18-22,共5页Journal of Taishan University

摘　　要：简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括反证法推理格式、反证法、数学证明方法总结.In this paper, the author simply discusses the propositional logic, and studies the deduction forms and methods of mathematical proofs using the propositional logic. The comprehensive system is formed. It includes the deduction form of proof by contradiction and proof by contradiction, and gives summary on method of mathematical proofs.

关 键 词：反证法推理格式 反证法 数学证明方法总结 

分 类 号：O141[理学—数学]