数理逻辑总结的.ppt

3.将下列各公式翻译成自然语言，个体域为整数集I，并判断各命题的真值。 (1) (2) (3) 解: (1)对任意整数 任意整数 ，存在整数 ， 使得 。（真命题） (2)对任意整数 ，存在整数 ，使得 （假命题） (3)存在整数 ，使得对于任意整数 和任意整数 ， 有 （假命题） Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4．试判断下列公式是否永真公式 (1) 解：原式 因此，（1）式是永真公式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. （2） 解：原式 此公式不是永真公式 设Q(y) F，个体域E = {a,b},P(a)=T,P(b)=F，则 但 因此 不是永真公式。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 5 用等价公式变换法证明下一等值式 证明 (1) Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 总结 第一章 命题逻辑 命题； 命题联结词：否定( )，合取( )，析取( )，异或( )，蕴含( )，等值( )； 原子命题和复合命题； 命题符号化。 1. 命题 命题常元，命题变元，命题公式(或称公式)； 命题公式F(P1,P2,…,Pn)的真值指派，公式的真值表； 命题公式的分类：重言式(或永真式)、矛盾式(或永假式)和可满足公式； 2. 命题公式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 总结 第一章 命题逻辑 3. 命题公式间的关系 命题公式间的等价关系( ) 命题公式间的蕴含关系( ) 基本的等价式； 基本的蕴含式； 判断公式类型的方法(真值表、等价公式变换、主范式)； 判定两公式是否具有等价和蕴含关系的方法。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 总结 第一章 命题逻辑 推理的概念： 推理规则：四个规则； 4. 命题逻辑的推理理论 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 练习9-1 1.???? 判断下列语句哪些是命题，若是命题，则指出其真值。 （1） 只有小孩才爱哭。 （2） X+6=Y （3） 银是白的。 （4） 起来吧，我的朋友。 ( 是 假 ) ( 不是 ) ( 是 真 ) ( 不是 ) 2． 将下列命题符号化 （1）　我看见的既不是小张也不是老李。 解 令P：我看见的是小张；Q：我看见的是老李。 　　则该命题可表示为?P∧?Q ? （2）　如果晚上做完了作业并且没有其它的事，他就会看电视或听音乐。 　解 　 令 P：他晚上做完了作业；Q：他晚上有其它的事； R：他看电视；