离散数学讲义课件.ppt

* 2-5 谓词演算的等价式与蕴涵式（续） （4）量词与命题联结词之间的一些等价关系 量词分配等值式 1. (?x)(A(x)?B(x))?(?x)A(x)?(?x)B(x) 2. (?x)(A(x)?B(x))?(?x)A(x)?(?x)B(x) 注意：全称量词只对合取有分配； 存在量词只对析取有分配； * 2-5 谓词演算的等价式与蕴涵式（续） （5）量词与命题联结词之间的一些蕴涵关系 2.(?x)(A(x)?B(x))=(?x)A(x)?(?x)B(x) 3.(?x)(A(x)?B(x))=(?x)A(x)?(?x)B(x) 4.(?x)(A(x)?B(x))=(?x)A(x)?(?x)B(x) 1.(? x)A(x)?(?x)B(x)= ? x(A(x)?B(x)) * 2-5 谓词演算的等价式与蕴涵式（续） （6）多个量词的使用 对于二元谓词的情况： 1.(?x)(?y)A(x,y) 2.(?x)(?y)A(x,y) 3.(?x)(?y)A(x,y) 4.(?x)(?y)A(x,y) 5.(?y)(?x)A(x,y) 6.(?y)(?x)A(x,y) 7.(?y)(?x)A(x,y) 8.(?y)(?x)A(x,y) （2种排列情况 × 4种组合情况） * 2-5 谓词演算的等价式与蕴涵式（续） （4）多个量词的使用 以两个量词对于二元谓词的情况为例 (?x)(?y)A(x,y) ? (?y)(?x)A(x,y) (?x)(?y)A(x,y) ? (?y)(?x)A(x,y) (?x)(?y)A(x,y) ≠ (?y)(?x)A(x,y) (?y)(?x)A(x,y) ≠ (?x)(?y)A(x,y) * 2-5 谓词演算的等价式与蕴涵式（续） （3）量词与命题联结词的一些等价式与蕴涵式 序号 表达式 E23 (?x)（A(x)? B（x）)? (?x)A(x) ? (?x)B（x） E24 (?x) (A(x)? B(x))? (?x) A(x)?(?x)B(x） E25 ?(?x) A(x) ? (?x)?A(x) E26 ?(?x)A(x) ? (?x)?A(x) E27 (?x) (A ? B(x))? A ? (?x)B(x） E28 (?x)（ A ? B（x）)? A?(?x)B（x） E29 (?x)(A(x)? B（x）)? (?x) A(x)?(?x)B（x） E30 (?x)A(x)? B? (?x)(A(x)?B（x）) E31 (?x)(A(x)?B) ? (?x)(A(x)? B) E32 A(x)? (?x) B（x） ? (?x)(A(x)? B) * 2-5 谓词演算的等价式与蕴涵式（续） 序号 表达式 E33 A(x)? (?x) B（x） ? (?x) (A(x)? B) I17 (?x) A(x)?(?x) B(x)? (?x)(A(x) ?B(x）) I18 (?x)(A(x)? B(x)) ? (?x) A(x)? (?x) B(x） I19 (?x)A(x)?(?x) B(x) ? (?x)(A(x)?B(x）) 量词与命题联结词的一些等价式与蕴涵式 * 2-5 谓词演算的等价式与蕴涵式（续） 例 设 A(x,y)表示x和y同姓,论域x是甲村的人,y是乙村的人,则 (?x)(?y)A(x,y): 甲村和乙村所有的人都同姓。 (?y)(?x)A(x,y)： 乙村和甲村所有的人都同姓。 显然上述俩语句的含义相同。故 (?x)(?y)A(x,y) ? (?y)(?x)A(x,y) * 2-5 谓词演算的等价式与蕴涵式（续） (?x)(?y)A(x,y) ?(?y)(?x)A(x,y） 同理 (?x)(?y)A(x,y)： 甲村与乙村有人同姓。 (?y)(?x)A(x,y)： 乙村与甲村有人都同姓。 故 (?x)(?y)A(x,y) ? (?y)(?x)A(x,y) * 2-5 谓词演算的等价式与蕴涵式（续） 但是 (?x)(?y)A(x,y) 表示对于甲村所有的人，乙村都有人和他同姓。 (?y)(?x)A(x,y) 表示存在一个乙村的人，甲村所有的人和他同姓。 (?y)(?x)A(x,y) 表示对于乙村所有的人，甲村都有人和他同姓。 (?x)(?y) A(x,y) 表示存在一个甲村的人，乙村所有的人和他同姓。 上述四种语句，表达的情况各不相同，故全称量词与存在量词的次序，不能随意更换。 * 2-6 前束范式 定理：任何一个谓词