假言联言推理(hypothetical-conjunctive inference)一般是由两个
假言判断和一个
联言判断做前提推出一个结论的
演绎推理。根据其结论是简单判断或复合判断,可将其分为四种正确的推理形式:简单构成式(简单肯定式)、简单破斥式(简单否定式)、复杂构成式(复杂肯定式)和复杂破斥式(复杂否定式)。
假言联言推理是以
假言判断和
联言判断为前提构成的推理,其中联言肢的数量与假言判断的数量相同。
简单肯定式假言联言推理的两个假言前提的前件不同,而后件相同;联言前提的联言肢肯定假言前提的前件;结论肯定假言前提后件,为一直言判断。由于这一推理是由肯定前件到肯定后件,其结论属简单判断,所以称之为“简单肯定式”。
简单否定式假言联言推理的两个假言前提的前件相同,而后件不同;联言前提的联言肢否定假言前提的后件;结论否定其前件,为一直言判断。由于这一推理是由否定后件到否定前件,而结论属简单判断,所以称之为“简单否定式”。
复杂肯定式假言联言推理的两个假言前提的前、后件均不相同;联言前提的联言肢肯定假言前提的前件;结论则肯定假言前提后件,为一联言判断。由于这一推理是由肯定前件到肯定后件,而结论属复合判断,所以称之为“复杂肯定式”。
复杂否定式假言联言推理的两个假言前提的前、后件均不相同;联言前提的联言肢否定假言前提的后件;结论则否定假言前提的前件,为一联言判断。由于这一推理是由否定后件到否定前件,而结论属复合判断,所以称之为“复杂否定式”。
例如,据《隋书》记载,隋文帝杨坚不相信墓田风水之谈,以自家情况论证风水说不可信。他说:“我家墓田,若云不吉,我不当贵为天子;若云吉,我弟不当战死。”其推理的结构式为: