交大数理逻辑演示课件9—2集合.pptVIP

作业讲评3 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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)) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 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) ù (?x)Q(x))=T Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. P68：8(2) 判断公式的类型 (?x)(P(x) ù Q(x)) ? ((?x)P(x) ù (?x)Q(x)) 原式= ?(?x)(P(x) ù Q(x))? ((?x)P(x)ù (?x)Q(x)) ? ?(?x)(P(x) ù Q(x))? (?x)(P(x) ù Q(x)) = T ((?x)P(x)∧(?x) Q(x))?(?x)(P(x)∧Q(x)) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 第9章 集 合 9.1 集合的概念和表示方法 9.2 集合间的关系和特殊集合 9.3 集合的运算 9.4 集合的图形表示法 9.5 集合运算的性质和证明 9.6 有限集合的基数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 9.3.4 笛卡尔积 有序对(序偶) 由两个客体 x 和 y，按照一定的顺序组成的二元组称为有序对，记作x, y 实例：点的直角坐标(3,?4) 有序对性质 当x? y时，x,y?y,x x,y 与 u,v 相等的充分必要条件是 x,y=u,v ? x=u ? y=v 例： 2, x+5 = 3y? 4, y，求 x, y. 解 3y? 4 = 2, x+5 = y ? y = 2, x = ? 3 注意：区别a,b和{a,b}。 例如，当a?b时，有 {a,b}={b,a}。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 有序对定义及性质证明 有序对x, y定义为： x, y={{x}, {x, y}} 有序对性质： x,y=u,v ? x=u ? y=v 证明:(1) 设x=u ? y=v ，则显然有 {{x}, {x, y}