复合判断及其推理.pptVIP

逻辑学所理解的条件既包括客观事物之间的条件关系，也包括逻辑推导的条件关系. 逻辑学将条件关系分为充分条件、必要条件和充分必要条件。因之，假言判断也相应分为充分条件假言判断、必要条件假言判断、充分必要条件假言判断（简称充要条件假言判断）。 第三十页，共八十三页，2022年，8月28日 1．充分条件假言判断 逻辑学所理解的充分条件是指：有前件，必有后件；无前件，未必无后件的条件关系。 充分条件假言判断是断定事物之间充分条件关系的假言判断。 在现代汉语的日常语言中，表达充分条件的语言形式是多样的。其中表示前件的语词有“如果”、“只要”、“假如”、“假若”、“倘若”等；表示后件的语词有“那么”、“就”、“则”等）。在日常语言中，有时会省略表示前件的语词，有时甚至会将表示前件和后件的语词都省略掉 . 在此，我们以“如果……那么……”为表示充分条件假言判断的典型“联项”(联结词)。 第三十一页，共八十三页，2022年，8月28日 充分条件假言判断的表达式为：如果ｐ，那么ｑ 其中，“如果……那么……”表示“联项”联结词，判断变项ｐ和ｑ表示肢判断，在此称假言肢。表示条件的假言肢称“前件”；表示结果的假言肢称“后件”。 充分条件假言判断的符号形式为蕴涵式：ｐ→ｑ 其中，“→”是蕴涵符号，“ｐ→ｑ”读做“ｐ蕴涵ｑ”。 第三十二页，共八十三页，2022年，8月28日 充分条件假言判断的逻辑值可用真值表来确认： 　ｐ　　　ｑ　　　　 ｐ→ｑ 　　　+　　 +　　　　 + 　　　+　　　-- 　　　　　 -- 　　　--　　　+　　 　　　 + 　　　--　　　-- 　　　　　 + 由以上真值表可见，当且仅当在有前件而无后件的情况下，充分条件假言判断为假。因为其违反了充分条件“有前件，必有后件”的逻辑特点。其它三种情况都符合充分条件“有前件，则有后件；无前件，未必无后件”的逻辑特点，因而，都为真。 第三十三页，共八十三页，2022年，8月28日 2．必要条件假言判断 逻辑学所理解的必要条件是指：有前件，则未必有后件；无前件，必无后件的条件关系。 必要条件假言判断是断定事物之间必要条件关系的假言判断。 在现代汉语的日常语言中，表达必要条件的语言形式是多样的。如“只有……才……”，“除非……才……”，“没有……就没有……”，“如果不……则不……”等。在此，我们以“只有……才……”为表示必要条件假言判断的典型联结词。 在日常语言中，表述必要条件假言判断有时会省略表示前件的语词. 第三十四页，共八十三页，2022年，8月28日 必要条件假言判断的表达式为：只有ｐ，才ｑ. 其中，“只有……才……”表示“联项”(联结词)，判断变项ｐ和ｑ表示肢判断，在此称假言肢。表示条件的假言肢称“前件”；表示结果的假言肢称“后件”。 必要条件假言判断的符号形式为逆蕴涵式：ｐ←ｑ 其中，“←”是逆蕴涵符号，“ｐ←ｑ”读做“ｐ逆蕴涵ｑ”。 有些逻辑著作也用“如果非ｐ，则非ｑ”（符号公式为“￢ｐ→￢ｑ”）表示必要条件假言判断。 第三十五页，共八十三页，2022年，8月28日 必要条件假言判断的逻辑值可用真值表确认如下： 　 ｐ　　　ｑ　　　　　ｐ←ｑ 　　 +　　　+　　　　　　 + 　　　 +　　　--　　　　　　 + 　　　 --　　　+　　　　　　 -- 　　 　-- --　　　　　　 + 由以上真值表可见，当且仅当在无前件而有后件的情况下，必要条件假言判断为假。因为其违反了必要条件“无前件，必无后件” 的逻辑特点。其它三种情况都符合必要条件“有前件，未必有后件；无前件，必无后件”的逻辑特点，因而都为真。 第三十六页，共八十三页，2022年，8月28日 3．充要条件假言判断 逻辑学所理解的充分必要条件简称充要条件，其指：有前件，必有后件；无前件，必无后件的条件关系。 充要条件假言判断是断定事物之间充要条件关系的假言判断。 在现代汉语的日常语言中，表达必要条件的语言形式是多样的。如“如果并且只有……才（则）……”，“如果……则……并且只有……才……”，“如果……则……并且，如果不……则不……”等。在此，我们以“当且仅当”为表示充要条件假言判断的典型“联项”(联结词)。 第三十七页，共八十三页，2022年，8月28日 充要条件假言判断的表达式为：当且仅当ｐ，才（则）ｑ；或“ｐ，当且仅当ｑ” 其中，“当且仅当”表示联结词，判断