逻辑判断推理公式总结

逻辑判断推理公式是逻辑学中用于表达和推导逻辑关系的一系列规则和方法。以下是一些常用的逻辑判断推理公式：

充分条件与必要条件

充分条件 ：如果A，那么B；只要A，就B；A离不开B；凡是A，都B；为了A，一定（必须）B；若A，则B。

必要条件 ：只有A，才B；A才B；A是B的基础；A是B的必要条件（关键）；不A，不B；除非A，否则不B。

逻辑联结词

摩根公式 ：`（A或B）= —A且—B`；`—（A且B）= —A或—B`。

德摩根定律 ：`并非（A且B）=非A或非B`；`并非（A或B）=非A且非B`。

命题逻辑

联言命题 ：全真为真，一假为假。

选言命题 ：全假为假，一真为真。

否定肯定式 ：选言命题为真时，否定一支，肯定一支。

模态命题

移动否定词 ：所有变有的，有的变所有，可能变必然，必然变可能。

逻辑推理规则

肯前必肯后 ：如果P，那么Q；P需要Q；P离不开Q；P￫Q；P就是Q的充分条件。

否后必否前 ：如果非Q，那么非P。

逆否命题推理 ：若A，则B；若非B，则非A。

递推公式

递推关系 ：A￫B，B￫C，可以得到A￫C。

其他逻辑形式

全称命题 ：SAP（所有S都是P），SEP（所有S都不是P），SIP（有些S是P），SOP（有些S不是P）。

特称命题 ：SIP（有些S是P），SOP（有些S不是P）。

单称命题 ：SaP（某个S是P），SeP（某个S不是P）。

隐含三段论

隐含三段论 ：如果出现“有的”，则一定只出现2次，一次在前提中，一次是结论中。

对当关系

矛盾关系 ：一真一假。

反对关系 ：可同假，不同真。

下反对关系 ：可同真，不同假。

推理关系 ：上真下必真，下假上必假，反之则不定。

口诀记忆法

充分条件前推后 ； 必要条件后推前 ； 充要条件两头推 ； 除非否则去“除”去“否”，箭头直接向右划 ； 加“非”去“否”，箭头右划 ； “除”字去掉，箭头反划 ； 逆否等于原命题 ； 有箭头指向则为真，没有箭头指向则可真可假 。

这些公式和规则是逻辑推理的基础，掌握它们可以帮助你更好地理解和分析逻辑问题。

其他小伙伴的相似问题：

逻辑判断推理公式的实际应用案例有哪些？

如何快速掌握逻辑判断推理公式？

逻辑判断推理公式的符号表示是怎样的？