如是我闻: 命题逻辑是一种形式逻辑,它用于表示逻辑表达式中事物的真假状态,并利用一系列推理规则来推导结论。以下是按照从简单到复杂的顺序整理的命题逻辑推理规则:
简单规则
-
蕴含消除 (Modus Ponens)
- 如果 p → q p \rightarrow q p→q 和 p p p都为真,则 q q q 必为真。
-
否定消除 (Modus Tollens)
- 如果 p → q p \rightarrow q p→q 为真,且 q q q 为假,则 p p p 必为假。
-
合取引入 (Conjunction Introduction)
- 如果 p p p 为真,且 q q q 为真,则 p ∧ q p \land q p∧q 为真。
-
析取引入 (Disjunction Introduction)
- 如果 p p p 为真,则 p ∨ q p \lor q p∨q 为真(无论 q q q 的真假)。
-
双重否定消除 (Double Negation Elimination)
- 如果 ¬ ¬ p \neg \neg p ¬¬p 为真,则 p p p 为真。
-
简化 (Simplification)
- 如果 p ∧ q p \land q p∧q 为真,则 p p p 或 q q q 单独为真。
中等复杂度规则
-
合取消除 (Conjunction Elimination)
- 如果 p ∧ q p \land q p∧q 为真,则 p p p 和 q q q 都为真。
-
析取消除 (Disjunction Elimination)
- 如果 p ∨ q p \lor q p∨q 为真,已知 p p p 或 q q q 导致 r r r,则 r r r 必为真。
-
假言三段论 (Hypothetical Syllogism)
- 如果 p → q p \rightarrow q p→q 和 q → r q \rightarrow r q→r 都为真,则 p → r p \rightarrow r p→r 也为真。
-
双条件引入 (Biconditional Introduction)
- 如果 p p p 导致 q q q,且 q q q 导致 p p p,则 p ↔ q p \leftrightarrow q p↔q 为真。
-
双条件消除 (Biconditional Elimination)
- 如果 p ↔ q p \leftrightarrow q p↔q 为真,那么 p p p 为真当且仅当 q q q 为真。
较复杂规则
-
析取三段论 (Disjunctive Syllogism)
- 如果 p ∨ q p \lor q p∨q 为真,且 p p p 为假,则 q q q 必为真。
-
归谬法 (Reductio ad Absurdum)
- 通过假设某个命题为真导致矛盾来证明该命题为假。
-
附加 (Addition)
- 如果 p p p 为真,则 p ∨ q p \lor q p∨q 为真,无论 q q q 的真假如何。
-
联言三段论 (Constructive Dilemma)
- 如果 p → q p \rightarrow q p→q 和 r → s r \rightarrow s r→s 为真,且 p ∨ r p \lor r p∨r 为真,则 q ∨ s q \lor s q∨s 也为真。
-
破坏性二难问题 (Destructive Dilemma)
- 如果 p → q p \rightarrow q p→q 和 r → s r \rightarrow s r→s 为真,且 ¬ q ∨ ¬ s \neg q \lor \neg s ¬q∨¬s 为真,则 ¬ p ∨ ¬ r \neg p \lor \neg r ¬p∨¬r 也为真。
高级复杂度规则
-
等价 (Equivalence)
- 如果两个命题互相蕴含,则它们逻辑等价。
-
出自矛盾的证明 (Ex Contradictione Quodlibet)
- 从一个矛盾出发,可以推导出任何命题。
-
排中律 (Law of Excluded Middle)
- 对于任何命题 p p p, p ∨ ¬ p p \lor \neg p p∨¬p 必为真。
-
矛盾律 (Law of Contradiction)
- 任何命题 p p p 和它的否定 ¬ p \neg p ¬p 不能同时为真。
-
蕴含引入 (Implication Introduction)
- 如果在假设 p p p 的基础上可以推导出 q q q,则可以推出 p → q p \rightarrow q p→q。
愿此帖渡一切命题逻辑推理苦
非常的有品
以上