关于思维逻辑的口诀，综合多个权威资料整理如下：

一、形式逻辑核心口诀

对当关系

- 矛盾关系：必然与可能不（如“所有S是P”与“有的S不是P”）

- 下反对关系：可能与可能不（如“有的S是P”与“有的S不是P”）

- 反对关系：所有与所有不（如“所有S是P”与“所有S不是P”）

- 推理规则：上真下必真，下假上必假

假言命题

- 肯前肯后：若P则Q，P真则Q真

- 否后否前：若P则Q，Q假则P假

- 肯前否后/否前肯后：矛盾关系

联言与选言

- 联言负命题：非A或非B

- 相容选言等价：非A→B，非B→A

- 不相容选言（相斥选言）：非A且非B

模态命题

- 一定=必然，不一定=可能不，不可能=一定不

二、推理技巧补充口诀

充分条件与必要条件

- 充分条件：前推后（如P→Q）

- 必要条件：后推前（如Q→P）

- 充要条件：两头推（如P↔Q）

常见逻辑错误

- 否前错误：P不成立不能推出结论

- 否后错误：Q成立不能推出结论

解题关键

- 原命题与负命题矛盾，假言与联言矛盾

- 假言等价转换：A→B 等价于 非A或B

三、其他实用口诀

充要条件：

P↔Q 等价于 （P→Q）且（Q→P）

逆否命题：原命题与逆否命题等价

箭头指向：逻辑关系中，有箭头指向则为真，无箭头则为可真可假

以上口诀覆盖了形式逻辑的核心内容及常见推理技巧，建议结合具体题型进行练习和应用。