假言判断及推理(一).ppt

命题逻辑 假言命题及复合命题的推理（一） 一、假言命题 定义： 假言命题是陈述某一事物情况存在是另一事物情况存在的条件的判断。 假言判断的分类： 假言命题分为充分条件假言命题，必要条件假言判断、充分必要条件假言命题 充分条件假言命题的构成及形式： 假言命题是由假言联结词(如 “如果，那么”、“只有，才”、“当且仅当”等)联结支命题而形成的复合命题，例如 假言命题的逻辑联结词“如果……那么……”可以用蕴涵词“→”表示。“如果”后面的支判断称作假言判断的前件，“那么”后面的支判断称作假言判断的后件。 假言判断的形式为：如果p，那么q。 用蕴涵词表示为：p→q。 充分条件假言判断联结词的语言形式 在日常用语中，假言判断联结词的语言形式是多种多样的，除了“如果……那么……”外，还有“如果……则……”、“假如……那么……”、“只要……就……”，“……则……”等等。 假言命题“p→q”的逻辑性质的真值表： p q p→q + + + + _ _ _ + + _ _ + 永真条件 需要注意：逻辑学虽然只从形式方面研究判断的真假性质，但在假言命题中，如果只考虑前、后件的真值关系，而不考虑前、后件的内容联系，那么就会出现前、后件没有内容上的联系，只是形式上正确的假言判断，这种假言判断被称为蕴涵怪论。 当它的前件为假时，不管其后件是真还是假，那么整个命题必定是真的。 二、假言推理 （一）充