1、形式邏輯

8個口訣

口決一：充分條件前推后

口訣二：必要條件后推前

口訣三：充要條件兩頭推

口訣四：除非否則去“除”去“否”，箭頭直接向右劃

口訣五：加“非”去“否”，箭頭右劃

口訣六：“除”字去掉，箭頭反劃

口訣七：逆否等于原命題

口訣八：有箭頭指向則為真，沒有箭頭指向則可真可假。

快速得分技巧：這類題型很簡單須秒殺，口訣背熟，看到關聯詞就想到對應口訣！

2、對當關系

四種關系。

（1）矛盾關系：一真一假。

“所有”與“有的不”；

“所有不”與“有的”；

“必然”與“可能不”；

“可能”與“必然不”。

（2）反對關系：可同假，不同真。

“所有”與“所有不”；

“必然”與“必然不”；

兩個所有，至少一假：一真另必假，一假另不定。

兩個必然，至少一假：一真另必假，一假另不定。

（3）下反對關系：可同真，不同假。

“有的”與“有的不”；

“可能”與“可能不”；

兩個有的，至少一真：一假另必真，一真另不定。

兩個可能，至少一真：一假另必真，一真另不定。

（4）推理關系：上真下必真，下假上必假，反之則不定。

所有→某個→有的；

所有不→某個不→有的不；

必然→事實→可能；

必然不→事實不→可能不。

3、隱含三段論

關鍵詞：三種命題方式

（1）A→B，因此，A→C。要求補充一個條件，使上述結論成立。

（2）有的 A→B，因此，有的A→C。要求補充一個條件，使上述結論成立。

（3）有的 A→B，因此，有的B→C。要求補充一個條件，使上述結論成立。

充分條件假言推理有效式：肯定前件式：(p→q)∧p→q

否定后件式：(p→q)∧q→p

必要條件假言推理有效式：肯定后件式：(p←q)∧q→p

否定前件式：(p←q)∧p→q

充要條件假言推理有效式：肯定前件式：(p —— q)∧q→p

否定后件式：(p—— q)∧q→p

肯定后件式：(p—— q)∧q→p

否定前件式：(p—— q)∧p→q