还剩24页未读,继续阅读
本资源只提供10页预览,全部文档请下载后查看!喜欢就下载吧,查找使用更方便
文本内容:
逻辑学课件复合命题及其推理•复合命题的定义与分类•复合命题的真值表•复合命题的推理规则•复合命题推理实例01复合命题的定义与分类什么是复合命题010203复合命题逻辑联结词例子由简单命题通过逻辑联结如“并且”、“或者”、如“如果天下雨,那么地词组合而成的命题“如果...那么...”、“当且面会湿”、“小明既聪仅当”等明又勤奋”复合命题的分类并列复合命题条件复合命题由两个或多个简单命题并列组合而成,逻由一个条件子句和一个结论子句组合而成,辑联结词为“并且”逻辑联结词为“如果...那么...”选言复合命题假言复合命题由两个或多个相互排斥的简单命题中至少由一个条件子句和一个结论子句组合而成,选择一个组合而成,逻辑联结词为“或者...逻辑联结词为“当且仅当”或者...”02复合命题的真值表与命题的真值表总结词当且仅当两个命题都为真时,与命题才为真描述与命题用逻辑联结词∧表示,真值表如下与命题的真值表P∧Q|P|Q|P∧Q||---|---|------|与命题的真值表010204|F|T|F||T|T|T||F|F|F||T|F|F|03或命题的真值表总结词当且仅当两个命题中至少有一个为真时,或命题才为真描述或命题用逻辑联结词∨表示,真值表如下或命题的真值表P∨Q|P|Q|P∨Q||---|---|------|或命题的真值表01020304|T|T|T||T|F|T||F|T|T||F|F|F|非命题的真值表总结词当且仅当一个命题为假时,非命题才为真描述非命题用逻辑联结词¬表示,真值表如下非命题的真值表¬P|P|¬P||---|------|非命题的真值表01|T|F|02|F|T|03复合命题的推理规则肯定前件式总结词如果前提为真,则结论一定为真详细描述肯定前件式是一种推理规则,它指的是如果一个条件命题的前件(即“如果”后面的部分)为真,则可以推导出该命题的后件(即“那么”后面的部分)也为真例如,命题“如果天下雨,那么地面会湿”中,如果天下雨(前件为真),则可以推导出地面会湿(后件也为真)否定后件式总结词如果后件为假,则前件一定为假详细描述否定后件式是一种推理规则,它指的是如果一个条件命题的后件(即“那么”后面的部分)为假,则可以推导出该命题的前件(即“如果”后面的部分)也为假例如,命题“如果天下雨,那么地面会湿”中,如果地面没有湿(后件为假),则可以推导出没有下雨(前件也为假)假言推理规则总结词根据复合命题的结构和逻辑关系进行推理详细描述假言推理规则是一种复合命题的推理规则,它根据复合命题的结构和逻辑关系进行推理例如,在命题“如果A,则B;如果非B,则非A”中,如果A为真,根据假言推理规则可以推导出B也为真;如果B为假,则可以推导出A也为假二难推理规则总结词根据假设条件和结论之间的逻辑关系进行推理详细描述二难推理规则是一种复杂的推理规则,它根据假设条件和结论之间的逻辑关系进行推理例如,在著名的“狼与山羊”的二难推理中,假设有一只狼和一只山羊在船上,狼不能饿死也不能淹死,而船上没有其他食物和水源,那么应该怎么做才能确保狼和山羊都存活下来?这个问题的答案需要根据二难推理规则来推导04复合命题推理实例实例一肯定前件式推理总结词详细描述如果前提为真,则结论一定为真肯定前件式推理是指如果一个条件命题的前件(即“如果”之后的部分)为真,则VS其后件(即“那么”之后的部分)也一定为真的推理例如,命题“如果下雨,那么地面会湿”中,如果确实下雨了,那么根据肯定前件式推理,我们可以得出地面会湿的结论实例二否定后件式推理总结词详细描述如果结论为假,则前提一定为假否定后件式推理是指如果一个条件命题的后件(即“那么”之后的部分)为假,则其前件(即“如果”之后的部分)也一定为假的推理例如,命题“如果下雨,那么地面会湿”中,如果地面没有湿,那么根据否定后件式推理,我们可以得出没有下雨的结论实例三假言推理规则推理总结词详细描述基于假言命题进行推理假言推理规则推理是指根据假言命题(即条件命题)进行推理的方法例如,命题“如果下雨,那么地面会湿;现在地面湿了;所以,一定下雨了”这是一个典型的假言推理规则推理,根据条件命题“如果下雨,那么地面会湿”,以及已知事实“地面湿了”,我们得出结论“一定下雨了”实例四二难推理规则推理要点一要点二总结词详细描述面临两种可能的选择,无论选择哪种都会陷入困境二难推理规则推理是指面临两种可能的选择,无论选择哪种都会陷入困境的推理例如,命题“如果下雨,那么地面会湿;如果不下雨,那么地面不会湿;现在地面湿了;所以,要么下雨了,要么被水洒了”这是一个典型的二难推理规则推理,面临两种可能的选择(下雨或被水洒),无论选择哪种都会陷入困境(地面都湿了)THANKS感谢观看。