[小学作文]离散数学第二章.ppt

第二章 谓词逻辑 著名的苏格拉底三段论 所有的人都是要死的， 苏格拉底是人， 所以，苏格拉底是要死的。 凭着人们的直觉可知：由前提：“所有的人都是要死的”，“苏格拉底是人”，推出的结论：“苏格拉底是要死的”是有效结论，但在命题逻辑中无法对此给出证明。　　　　 因为如果令 P：所有的人都是要死的。 Q：苏格拉底是人。　　R：苏格拉底是要死的。 那么应有 但　　　　　　　并不是永真式． 原因何在？ 著名的苏格拉底三段论 原因在于：在命题逻辑中，由于把命题P，Q，R看做是三个不同的、没有联系的命题，不考虑其内在联系，而实际上Ｐ，Ｑ，Ｒ之间是有内在联系的。因此在命题逻辑中无法证明上述这个简单的三段论推理。 解决问题的途径:对原子命题作进一步的分解。 §2.1.1 谓词与个体 又如，可将“xx是教师”形式化为： 　　　　Ｔ(xx) 或　　Ｔ( · ) 可将“３大于２”形式化为： 　　　　Ｄ(３，２) 或　　Ｄ( ·，· ) 可将“点a介于点b和c之间”形式化为： 　　　　Ｆ(a，b,c) 或　　F( · ，· ，·) §2.1.1 谓词与个体 像Ｇ(·)，Ｔ( · ) ，Ｄ( ·，· ) ，F(· ，· ，·)这样的抽象形式，实际上就是上述几个语句中描述主语性质的谓语结构的抽象形式或描述主语所涉及对象之间的关系的抽象形式。 这种“描述主语性质的谓语