标准表述
除非A否则不B
<=>
B→A。
除非A否则B,
根据双重否定等于肯定,于是就等于
除非A否则不“不B”
,即
不B→A,-B
→
A。
同时,根据逆否,还可以得到
-A→B。
只有A,才不B,是标准的后推前的,即不B→A。
扩展资料
逻辑推理的方式
1、三段论
三段论是
演绎推理的一般模式,包含三个部分:大前提——已知的一般原理,小前提——所研究的特殊情况,结论——根据一般原理,对特殊情况作出判断。
2、假言推理
假言推理分为充分条件假言推理和必要条件假言推理两种。
(1)充分条件假言推理的基本原则是:小前提肯定大前提的前件,结论就肯定大前提的后件;小前提否定大前提的后件,结论就否定大前提的前件。
(2)必要条件假言推理的基本原则是:小前提肯定大前提的后件,结论就要肯定大前提的前件;小前提否定大前提的前件,结论就要否定大前提的后件。
3、选言推理
(1)相容的选言推理的基本原则是:大前提是一个相容的选言判断,小前提否定了其中一个(或一部分)选言支,结论就要肯定剩下的一个选言支。
(2)不相容的选言推理的基本原则是:大前提是个不相容的选言判断,小前提肯定其中的一个选言支,结论则否定其它选言支;小前提否定除其中一个以外的选言支,结论则肯定剩下的那个选言支。
参考资料来源:
搜狗百科-逻辑推理方法