离散数学-第二篇-谓词逻辑-变元的约束.pptVIP

例 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中有