命题逻辑推理规则二十一条

如是我闻： 命题逻辑是一种形式逻辑，它用于表示逻辑表达式中事物的真假状态，并利用一系列推理规则来推导结论。以下是按照从简单到复杂的顺序整理的命题逻辑推理规则：

简单规则

1. 蕴含消除 (Modus Ponens)

   • 如果 $p\to q$ 和 $p$都为真，则 $q$ 必为真。

2. 否定消除 (Modus Tollens)

   • 如果 $p\to q$ 为真，且 $q$ 为假，则 $p$ 必为假。

3. 合取引入 (Conjunction Introduction)

   • 如果 $p$ 为真，且 $q$ 为真，则 $p\wedge q$ 为真。

4. 析取引入 (Disjunction Introduction)

   • 如果 $p$ 为真，则 $p\vee q$ 为真（无论 $q$ 的真假）。

5. 双重否定消除 (Double Negation Elimination)

   • 如果 $\neg \neg p$ 为真，则 $p$ 为真。

6. 简化 (Simplification)

   • 如果 $p\wedge q$ 为真，则 $p$ 或 $q$ 单独为真。

中等复杂度规则

7. 合取消除 (Conjunction Elimination)

   • 如果 $p\wedge q$ 为真，则 $p$ 和 $q$ 都为真。

8. 析取消除 (Disjunction Elimination)

   • 如果 $p\vee q$ 为真，已知 $p$ 或 $q$ 导致 $r$，则 $r$ 必为真。

9. 假言三段论 (Hypothetical Syllogism)

   • 如果 $p\to q$ 和 $q\to r$ 都为真，则 $p\to r$ 也为真。

10. 双条件引入 (Biconditional Introduction)

    • 如果 $p$ 导致 $q$，且 $q$ 导致 $p$，则 $p\leftrightarrow q$ 为真。

11. 双条件消除 (Biconditional Elimination)

    • 如果 $p\leftrightarrow q$ 为真，那么 $p$ 为真当且仅当 $q$ 为真。

较复杂规则

12. 析取三段论 (Disjunctive Syllogism)

    • 如果 $p\vee q$ 为真，且 $p$ 为假，则 $q$ 必为真。

13. 归谬法 (Reductio ad Absurdum)

    • 通过假设某个命题为真导致矛盾来证明该命题为假。

14. 附加 (Addition)

    • 如果 $p$ 为真，则 $p\vee q$ 为真，无论 $q$ 的真假如何。

15. 联言三段论 (Constructive Dilemma)

    • 如果 $p\to q$ 和 $r\to s$ 为真，且 $p\vee r$ 为真，则 $q\vee s$ 也为真。

16. 破坏性二难问题 (Destructive Dilemma)

    • 如果 $p\to q$ 和 $r\to s$ 为真，且 $\neg q\vee \neg s$ 为真，则 $\neg p\vee \neg r$ 也为真。

高级复杂度规则

17. 等价 (Equivalence)

    • 如果两个命题互相蕴含，则它们逻辑等价。

18. 出自矛盾的证明 (Ex Contradictione Quodlibet)

    • 从一个矛盾出发，可以推导出任何命题。

19. 排中律 (Law of Excluded Middle)

    • 对于任何命题 $p$，$p\vee \neg p$ 必为真。

20. 矛盾律 (Law of Contradiction)

    • 任何命题 $p$ 和它的否定 $\neg p$ 不能同时为真。

21. 蕴含引入 (Implication Introduction)

    • 如果在假设 $p$ 的基础上可以推导出 $q$，则可以推出 $p\to q$。

愿此帖渡一切命题逻辑推理苦

非常的有品

以上