第二章 阶遇辑
在命题逻辑中,命题是命题演算的基本 单位,不关心每个简单命题反映的具体内容, 没有进一步研究命题的内部结构,因而在实 际应用中存在很多缺陷
在命题逻辑中，命题是命题演算的基本 单位，不关心每个简单命题反映的具体内容， 没有进一步研究命题的内部结构，因而在实 际应用中存在很多缺陷
著名的苏格拉底三段论: “所有的人都是要死的苏格拉底是人所以是苏 格拉底是要死的.” P:所有的人是要死的; Q:苏格拉底是人; R:苏格拉底是要死的 由上述文字构造的命题逻辑推理结构为:(P∧Q)→R 可知:(P∧Q)-R不是一个重言式因此按命题逻辑的 方法无法证明上述问题
著名的苏格拉底三段论: • “所有的人都是要死的,苏格拉底是人,所以是苏 格拉底是要死的. ” • P: 所有的人是要死的; • Q: 苏格拉底是人; • R: 苏格拉底是要死的. 由上述文字构造的命题逻辑推理结构为: (P Q)→R 可知: (P Q)→R不是一个重言式,因此,按命题逻辑的 方法,无法证明上述问题
为了在命题演算中,反映命题的内在联系,常常 要将简单命题分解成个体词、谓词、量词等,并对它 们的形式结构及逻辑关系加以研究,总结出正确的推 理形式和规则,这就是本章一阶逻辑要研究的内容
为了在命题演算中，反映命题的内在联系，常常 要将简单命题分解成个体词、谓词、量词等，并对它 们的形式结构及逻辑关系加以研究，总结出正确的推 理形式和规则，这就是本章一阶逻辑要研究的内容
§21一阶還辑命题奇号化的有概念与方漆 个体词:可以独立存在的客体,既可以是抽象的概念, 也可以是具体的事物。 如:李明、自然数、√2 谓词:用来刻划个体词的性质或个体词之间关系的。 如:(1)√2是无理数 (性质) (2)小李比小赵高2厘米(关系) 简单命题总可以被分解成个体词和谓词两部分
个体词：可以独立存在的客体，既可以是抽象的概念， 也可以是具体的事物。 谓 词：用来刻划个体词的性质或个体词之间关系的。 如：李明、自然数、 2。 如：(1) 2 是无理数 (性质) (2) 小李比小赵高2厘米 (关系) 简单命题总可以被分解成个体词和谓词两部分。 §2.1一阶逻辑命题符号化的有关概念与方法