2-2-aolm-离散数学.pptVIP

举例说明用谓词公式将自然语言中的一些有关命题符号化。 【例2.9】并非一切鸟都会飞。 解1：设 A(x) 表示 “x是鸟” B(x) 表示 “x能飞” 则原命题符号化为：﹁(?x)(A(x)?B(x)) 解2：原命题等价于“有的鸟不会飞”， 即 (?x)(A(x)∧﹁B(x))。 【例2.10】没有不犯错误的人。 解1：设 A(x) 表示 “x是人” B(x) 表示 “x犯错误” 则原命题符号化为：﹁(?x)(A(x)∧﹁B(x)) 解2：原命题等价于 “任何人都会犯错误”，即 (?x)(A(x)?B(x)) 【例2.11】尽管有些人聪明，但未必一切人都聪明。 解：设 A(x) 表示 “x是人” B(x) 表示 “x聪明” 则原命题符号化为： (?x)(A(x)∧B(x))∧﹁(?x)(A(x)?B(x)) 【例2.12】两条不同的直线最多有一个交点。 解：设 A(x) 表示 “x是直线” B(x) 表示 “x是点” C(x,y) 表示 “x在y上” D(x,y) 表示 “x＝y” 则原命题符号化为： (?x)(?y)(A(x)∧A(y)∧﹁D(x,y)) ?(?!!z)(B(z)∧C(z,x)∧C(z,y))。 一个变元在同一个公式中: 既可以为约束出现，又为自由出现。 从约束变元的概念可以看出，P(x1, x2, …, xn)是 n 元谓词公式或者是 n 元谓词函数，它有 n 个相互独立的自由变元。若对其中 k 个变元进行约束，则成为 n?k 元谓词公式。因此，如果一个谓词公式中没有自由变元出现，则该公式就成为一个命题。 例: (?x)P(x,y,z) 是二元谓词公式， (?y)(?x)P(x,y,z) 是一元谓词公式， (?y)(?z)(?x)P(x,y,z) 是一个命题。 【例2.15】 若谓词 P(x) 表示 “x 是正数” 则： (1) 公式 (?x)P(x)、(?y)P(y) 和 (?z)P(z) 在相同的个体域中具有相同的意义，若在有理数域中，则表示 “一切有理数都是正数”； (2) 公式 (?x)P(x)、(?y)P(y) 和 (?z)P(z) 在相同的个体域中具有相同的意义，若在有理数域中，则表示 “存在有理数都是正数”。 故可将谓词公式中的约束变元更改名称符号，这一过程称为约束变元换名。但约束变元换名也要遵循一定的规则： (1) 换名时，更改的变元名称的范围是量词中的指导变元，以及该量词辖域中所出现的所有该变元，在公式的其余部分不变； (2) 换名时一定不能更改为公式中的其它变元名称。 为了使一个变元在同一个公式中只以一种身份出现，除了进行约束变元换名外，也可以进行自由变元的代入，规则如下： (1) 将给定公式中出现该自由变元的每一处都用新的个体变元替换； (2) 新变元不允许在原公式中以任何约束形式出现。 此规则称为自由变元的代入规则。 【例2.16】谓词公式 (?x)(A(x,y)∨B(x,z))，若对约束变元x换名，则可变为 (?v)(A(v,y)∨B(v,z))，但下列换名都是错误的： (1) (?v)(A(v, y)∨B(x, z)) (2) (?x)(A(v, y)∨B(v, z)) (3) (?v)(A(x, y)∨B(x, z)) (4) (?y)(A(x, y)∨B(y, z)) (5) (?z)(A(z, y)∨B(z, z)) 另外需要指出的是，当个体域中元素的个数是有限时，对量词辖域中的约束变元的所有可能的取代是可枚举的，即： 若设个体域为 {a1, a2, …, an} 则： (1) (?x)A(x)?A(a1)∧A(a2)∧…∧A(an) (2) (?x)A(x)?