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

The Propositional Logic and the Methods of Mathematical Proofs

作　　者：孙宗明[1] 梁凤鸣[2] 

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

出　　处：《泰山学院学报》2013年第6期4-10,共7页Journal of Taishan University

摘　　要：简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.In this paper,the authors simply discuss the propositional logic,and fully study the deduction forms and methods of mathematical proofs using the propositional logic. The comprehensive system was formed. It includes the deduction forms and methods of mathematical proofs.

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

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