离散数学-第二章-谓词逻辑-变元及约束.ppt

例 1、(?x)(A(x)∧B(x)) ?(?x)A(x)∧(?x)B(x) 解释：个体域是party中的人。 A(x)：x唱歌， B(x) ：x跳舞 则(?x)(A(x)∧B(x))表示： party里的所有人既唱歌又跳舞； (?x)A(x)∧(?x)B(x)表示： party里的所有人唱歌且party里的所有人都跳舞。 两者意义是相同的。 即有： (?x)(A(x)∧B(x)) ?(?x)A(x)∧(?x)B(x) 例 2.(?x)(A(x)∨B(x)) ?(?x)A(x)∨(?x)B(x) 解释：个体域是party中的人。 A(x)：x唱歌， B(x) ：x跳舞 则(?x)(A(x)∨B(x))表示： Party中有些人唱歌或跳舞； (?x)A(x)∨(?x)B(x)表示： Party中有些人唱歌或Party中有些人跳舞。 两者意义是相同的。 所以,(?x)(A(x)∨B(x)) ?(?x)A(x)∨(?x)B(x) 注意公式3.和4.不是等价公式，是重言蕴含式。 3. (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) 解释：个体域是party中的人。 A(x)：x唱歌， B(x) ：x跳舞 (?x)A(x)∧(?x)B(x)： Party中有人唱歌，且有人跳舞。 (?x)(A(x)∧B(x))： Party中有人既唱歌又跳舞。 (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) (?x)A(x)∧(?x)B(x) ?(?x)(A(x)∧B(x)) 所以说 (?x)(A(x)∧B(x))与(?x)A(x)∧(?x)B(x) 不等价。 公式4 4. (?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) 解释：个体域是party中的人。 A(x)：x唱歌， B(x) ：x跳舞 (?x)A(x)∨(?x)B(x)： 所有人都唱歌或者所有人都跳舞。 (?x)(A(x)∨B(x))： 所有人都唱歌或跳舞。 (?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) (?x)(A(x)∨B(x)) ?(?x)A(x)∨(?x)B(x) 所以， ?x)A(x)∨(?x)B(x) 与 (?x)(A(x)∨B(x))不等价。 公式1的证明(自学) 求证 1. (?x)(A(x)∨B(x))?(?x)A(x)∨(?x)B(x) 证明：设个体域为{a1,a2,....,an}， (?x)(A(x)∨B(x)) ?(A(a1)∨B(a1))∨(A(a2)∨B(a2))∨…∨(A(an)∨B(an)) ?(A(a1)∨A(a2)∨...∨A(an))∨(B(a1)∨B(a2)∨...∨B(an)) ?(?x)A(x)∨(?x)B(x) 公式3的证明（自学） 证明3.(?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) 如果(?x)(A(x) ∧ B(x))为真 则存在a使A(a)∧B(a)为真， 故该a使A(a)为真， 该a使B(a)为真 所以(?x)A(x)为真， 所以(?x)B(x)为真， 故(?x)A(x) ∧(?x)B(x)为真 证明： 假设前件(?x)(A(x)∧B(x))为真， 则个体域中至少有一个客体a，使得A(a)∧B(a)为真， 于是A(a)和B(a)都为真， 所以有(?x)A(x)以及(?x)B(x)为真 进而得(?x)A(x)∧(?x)B(x)为真。 于是有 (?x)(A(x)∧B(x))?(?x)A(x)∧(?x)B(x) 且 公式4的证明（自学） 4. (?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) 如果(?x)(A(x)∨B(x))为假 (?x)A(x)为假 (?x) B(x) 为假 则必有客体a,使A(a)∨B(a)为假 A(a)为假 B(a)为假 则 (?x) A(x)∨(?x)B(x)为假 证明： 如果(?x)(A(x)?B(x))为假，则必有客体a,使A(a)∨B(a)为假; 若(?x)(A(x)∨B(x))为假, 则必有客体a, 使A(a)∨B(a)为假; 因此A(a), B(a)皆为假, 所以(?x)A(x)和(?x)B(x)为假， 即 (?x)A(x)∨(?x)B(x)为假。 故(?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) 且 （四）量词分配公式(等价式和蕴含式) 利用公式3证明公式4。 4. (?x)A(x)∨(?x)B(x)?(?x)(A(x)∨B(x)) 证明：因为公式3 (?x)(A(x)∧B(x))?(?x)A(x)∧