[命题逻辑 2).ppt

　　如果我打输了这场官司，那么按照我们的协议我不必付给你另一半学费；　　如果我打赢了这场官司，那么按照法庭判决我也不必付给你另一半学费；　　这场官司我打赢或者打输。 　总之，我都不必付给你另一半学费。 　　如果你打赢了这场官司，那么按照我们的协议你应付给我另一半学费；　　如果你打输了这场官司，那么按照法庭判决你也应付给我另一半学费；　　这场官司你打赢或者打输。 　总之，你都应付给我另一半学费。 　　针对老师的二难推理，欧提出了一个相反的二难推理： Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　天下霜，霜会融成水，多麻烦， 　　天下雪，雪也会融成水，多麻烦， 　　或者下霜，或者下雪； 所以，为避免麻烦，不如开始就下水。 试试反驳二难推理 天下霜，天下雪，下霜下雪变成水； 变成水来多麻烦， 不如开始就下水。 人吃饭，人吃菜，吃饭吃菜变成……？ Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. LOGICIZE 3 - * 第三讲命题逻辑 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 3.1 联言命题及其推理 联言命题是陈述若干事态同时存在的复合命题。 [例1] 公民依法享有民事权利，并且承担民事义务。 [例2] 卑鄙是卑鄙者的通行证，高尚是高尚者的墓志铭。 自然语句：“并且”、“不但…而且”、“既…又”、“虽然…但是”、“尽管…可是”、分号等 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　联言命题是陈述若干事态同时存在的命题，因此，一个联言命题的真假，归根结底取决于它的各个联言支是否同时都是真的，也就是说，只有在联言支都为真的情况下，联言命题才为真。如果联言支有一个为假，那么，联言命题就是假的。 联言命题与其联言支的真假关系 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　联言推理的分解式是由联言命题的真，推出任一个联言支为真的推理形式。 p∧q　　　　　p∧q p　　　　 　　q [例] 我很丑，可是我很温柔。 所以，我很丑。 联言推理 分解式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　联言推理的合成式是由全部联言支的真，推出联言命题为真的推理形式。 p，q p∧q [例] 业精于勤；业荒于嬉。 所以，业精于勤而荒于嬉。 合成式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 　　联言推理的否定式是由任一个联言支的假，推出联言命题为假的推理形式。 ? p　　　　 　 ? q ?(p∧q)　　 　?(p∧q) [例] 并非张三是党员。 所以，并非张三和李四都是党员。 否定式 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 选言命题是陈述若干事态至少有一种存在的复合命题 3.2 选言命题及其推理 相容选言命题 定义：选言支可同真 自然语句：或…或；可能…也可能 不相容选言命题 定义：选言支不同真 自然语句：不是…就是；要么…要么 Evalu