数学专业英语 2-11 A.ppt

2.11 数理逻辑入门 Elementary Mathematical Logic 成员： 数理逻辑:又称符号逻辑、理论逻辑。它既是数学的一个分支也是逻辑学de 一个分支。是用数学方法研究逻辑或形式逻辑学科。其研究对象是对证和计算这两个直观概念进行符号以后的形式系统。数理逻辑是数学基础de一个不可缺少的组部分 数理逻辑包括: “命题演算”和“谓词演算”。 数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑 New Words:::::::::::::::::::::::::::::::::::::::: assert 断言，主张 predicate 谓词 conjunction 合取 quantifier 量词 connective 连词 quantification 量词化 disjunction 析取 statement 语句 exclusiv