什么是析取三段论

如题所述

析取三段论是一种推理模式,涉及到复合命题,即析取命题或选言命题。它由两个前提组成:一个前提包含一个析取命题,另一个前提断言两个析取命题的支命题中至少有一真,且存在全真的可能性。另一个前提断言析取命题的某支命题为假,另一支命题为真,以论证有效。例如,给定前提“要么P为真,要么Q为真”,“P为假”,则可以得出结论“Q为真”。
温馨提示:答案为网友推荐,仅供参考
第1个回答  2013-09-05
命题逻辑中,讲析取三段论,┐p,p∨q永真蕴含q