定义

详细解释(1、充分条件假言推理 2、必要条件假言推理 3、充分必要条件假言推理)

定义

假言直言推理是由假言判断和直言判断构成的假言推理，通常泛称假言推理。

详细解释

1、充分条件假言推理

（1）定义

充分条件假言推理，是大前提为充分条件假言推理，小前提和结论是直言判断的假言推理。

此种推理中，小前提或是对大前提的前件有所断定，或是对大前提的后件有所断定。

1）小前提肯定大前提的前件；——充分条件假言推理能推出必然性的结论

2）小前提否定大前提的前件；——充分条件假言推理不能推出必然性的结论

3）小前提肯定大前提的后件；——充分条件假言推理不能推出必然性的结论

4）小前提否定大前提的后件。——充分条件假言推理能推出必然性的结论

（2）规则

第一，肯定前件必须肯定后件，否定后件必须否定前件；

第二，否定前件不能否定后件，肯定后件不能肯定前件。

（3）两种正确的推理形式

1）肯定前件式

小前提肯定大前提的前件，结论肯定大前提的后件，其公式是：

如果p，则q

p

——————

所以q

2）否定后件式

小前提否定大前提的后件，结论否定大前提的前件，其公式是：

如果p，则q

非q

——————

所以非p

2、必要条件假言推理

（1）定义

必要条件假言推理，是大前提为必要条件假言判断，小前提和结论为直言判断的假言推理。

（2）规则

第一，否定前件必须否定后件，肯定后件必须肯定前件；

第二，肯定前件不能肯定后件，否定后件不能否定前件。

（3）两种正确的推理形式

1）否定前件式

小前提否定大前提的前件，结论否定大前提的后件，其公式是：

只有p，才q

非p

——————

所以非q

2）肯定后件式

小前提肯定大前提的后件，结论肯定大前提的前件，其公式是：

只有p，才q

q

——————

所以p

3、充分必要条件假言推理

（1）定义

充分必要条件假言推理是大前提为充分必要条件假言判断，小前提和结论为直言判断的假言推理。

（2）规则

肯定前件必须肯定后件；否定前件必须否定后件；肯定后件必须肯定前件；否定后件必须否定前件。

（3）四种正确的推理形式