四川农业大学《离散数学》课件-第2章命题逻辑.pptxVIP

重点1 命题联结词、真值规定及真值表的构建2自然语言的命题符号化3 等价定律的运用4 主合取/析取范式的计算5 命题逻辑的推理难点1 自然语言的命题符号化2 极大（小）项编码的理解3 命题公式的等价变形4 推理有效性的判别方法 学习要求四川农业大学《离散数学》 康托尔数理逻辑是研究演绎推理的一门学科；它是采用数学的方法来研究数学推理、数学性质和数学基础，即引进一套符号体系的方法，所以数理逻辑又叫符号逻辑。1834~1923，英国数学家、哲学家，符号逻辑概念的提出者莱布尼茨1646~1716， 德国哲学家、数学家，被认为是数理逻辑的创始人。 历史人物 德·摩根数理逻辑经历了三个阶段的发展。第一阶段：用数学方法研究和处理形式逻辑。第二阶段：研究数学思想方法和数学基础问题。第三阶段：研究逻辑系统的完全性、协调性和计算机理论等。1806~1871，英国数学家、逻辑学家，第一阶段的代表人物之一。图灵1912~1954，英国数学家、逻辑学家，计算机科学之父，人工智能之父。 历史人物 2.1.1 命题定义2.1 能够判断真假的陈述句称为命题(Proposition)。称“真”和“假”为命题的真值，分别用“T”（或“1”）和“F”（或“0”）表示。。2.1 命题与命题联结词解题小贴士—命题的判断方法一个语句是命题当且仅当它是陈述句且具有确切的真值。 （1）德·摩根是英国数学家。（2）