形式逻辑

充分条件前推后：

如果P则Q，P成立则Q成立。

必要条件后推前：如果Q则P，Q不成立则P不成立。

充要条件两头推：P当且仅当Q，P成立当且仅当Q成立。

除非否则去“除”去“否”，箭头直接向右划：P或Q，非P则Q，非Q则P。

加“非”去“否”，箭头右划：非P则Q，非Q则P。

“除”字去掉，箭头反划：P且Q，P不成立则Q不成立，Q不成立则P不成立。

逆否等于原命题：非Q则非P，等价于原命题P则Q。

有箭头指向则为真，没有箭头指向则可真可假：P→Q，P成立则Q成立，Q不成立则P不成立。

对当关系

矛盾关系：

一真一假。例如，“所有”与“有的不”；“所有不”与“有的”；“必然”与“可能不”；“可能”与“必然不”。

反对关系：可同假，不同真。例如，“所有”与“所有不”；“必然”与“必然不”；两个所有，至少一假；两个必然，至少一假。

下反对关系：可同真，不同假。例如，“有的”与“有的不”；“可能”与“可能不”；两个有的，至少一真；两个可能，至少一真。

推理关系：上真下必真，下假上必假，反之则不定。例如，所有￫某个￫有的；所有不￫某个不￫有的不；必然￫事实￫可能；必然￫非事实￫不可能。

直言推理

两个“所有”必一假：

例如，“所有A都是B”和“所有A都不是B”必有一假。

两个“有些”必一真：例如，“有些A是B”和“有些A不是B”必有一真。

对角关系矛盾现：例如，“所有A都是B”和“有些A不是B”为矛盾关系。

三人对话一真假：例如，甲说：“我们四人都没作案”；乙说：“我们中有人作案”；丙说：“乙和丁至少有一人没作案”；丁说：“我没作案”。其中一人说真话，三人说假话。

四人对话两真假：例如，甲说：“我们四人都没作案”；乙说：“我们中有人作案”；丙说：“乙和丁至少有一人没作案”；丁说：“我没作案”。其中两人说真话，两人说假话。

复合判断

联言判断：

全真才真，选言判断有一为真则真，每个部分都为假则假。

负判断等值转换：并非后面全否定，并非前面原样子，并且或者相互换，所有有些也要替。

论证逻辑

因果论证重头戏：

因果倒置常呈现，有无他因频也高，有因无果削弱显，无因无果是加强，无因有果驳论点。

方法是否行得通：措施论证很明显，能达目标是关键。

这些口诀和顺口溜可以帮助你快速识别和应用逻辑规则，提高解题速度和准确性。希望这些对你有所帮助!