1.p或q推理規則
如果非p則q
如果非q則p
(否定一部分則肯定另一部分)
2.如果p則q推理規則
p推出q(肯前則肯後)
非q推出非p(否後則否前)
3.矛盾
(1)所有與有的
(2)可能與必然
(3)且與或
(4)如果p則q 與 p且非q
(5)要麼p,要麼q 與(p且q)或(非p且非q)
4.直言:
(1)至少一真:有s是p與有s不是p
(2)有s是p=有p是s ;所有s不是p=所有p不是s
在識別出題目為推理型試題後,需要再進一步判斷題目是考核真推真還是真推假、假推真、判斷真假、真假話推理等。
如果是真推真的類型,就要立刻想到「或」和「如果」的推理規則,再根據題幹中出現的是「或」還是「如果」來判斷用哪個公式。
如果是真推假、假推真、判斷真假、真假話推理,則立刻要想到上面幾組矛盾公式,然後根據題幹條件再來判斷用哪個矛盾公式。
注意:真推真一般用規則1和2,偶爾用到規則4.
真推假或假推真、真假話推理、負命題/矛盾命題一般用3中的矛盾。