着名的苏格拉底三段论-四川大学.pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn * * 计算机学院 * 主要内容 量词化逻辑 1、谓词 2、量词 3、全总个体域 4、自由变元与约束变元 * 计算机学院 * 命题逻辑是数理逻辑的基础，主要研究命题和命题间的演算。原子命题是命题演算的基本单位，并把它看作是不可再分解。这就带来了命题逻辑的局限性。命题逻辑研究的范围限制在命题及其外部关系上，无法研究命题内部的成份、结构以及命题之间所具有的逻辑特征（共同性和差异性） 例2-1．1 设基本命题，P：李明是大学生 Q：王芳是大学生 R：松树是植物 很明显，P与Q在内部关系上，应该比R密切得多。然而，命题逻辑无法反映这种区别，也无法反映P、Q间的共同性。 序 * 计算机学院 * 例2-1.2 (著名的苏格拉底三段论) 设自然语言中的三个命题： 1）所有的人都是要死的； 2）苏格拉底是人； 3）所以，苏格拉底是要死的。 解：假设 P：所有的人都是要死的； Q：苏格拉底是人。 R：苏格拉底是要死的。 显然，无论用什么方法也无法推论出 P，Q ?R。 但是，这样简单的