交大数理逻辑课件9-2 集合.pptVIP

作业讲评3 P67: 5 将下列语句符号化 (1) 一切事物都是发展的。 设： P(x) ：x是事物， Q(x) ：x是发展的。 则： (?x)(P(x) ? Q(x)) (4) 存在着会说话的机器人。 设： P(x) ：x是机器人， Q(x) ：x会说话。 则： (?x)(P(x) ù Q(x)) (8) 只有一个北京。 解释为：若x, y均为北京，则它们必指的是同一个城市 设： P(x) ：x是北京， Q(x, y) ：x和y是同一个城市。 则： (?x)(P(x) ù (?y)(P(y) ?Q(x, y))) 或： (?x)(?y)(P(x) ù P(y) ?Q(x, y)) P68：8(2) 判断公式的类型 (?x)(P(x) ù Q(x)) ? ((?x)P(x) ù (?x)Q(x)) (1)若(?x)(P(x) ù Q(x)) =F 即?x0 ，使P(x0) =F 或 Q(x0)=F 有(?x)(P(x) ù Q(x)) ? ((?x)P(x) ù (?x)Q(x))=T (2)若(?x)(P(x) ù Q(x)) =T 即?x0 ，使P(x0) ù Q(x0)=T 则：P(x0) = Q(x0)=T 有： (?x)P(x)=T，(?x)Q(x)=T 得：((?x)P(x) ù (?x)Q(x))=T 有(?x)(P(x) ù Q(x)) ? ((?x)P(x) ù