论文部分内容阅读
<正>数理逻辑从传统形式逻辑发展而来,是一门使用符号语言和数学方法来研究演绎推理和证明的科学.在近现代数学中,数理逻辑语言是数学表述的通用语言,不仅如此,它对哲学、物理学、计算机科学等领域也都产生了深远影响.数理逻辑的初步知识还越来越受到中学数学教学的重视,不仅因为对其准确规范地运用是基本数学素养的重要组成部分,而且掌握逻辑规律和逻辑方法对提高人们讲话、写作和辩论等能力和水平都具有极