推理定律

附加律 $A\Rightarrow (A\vee B)$ 化简律 $(A\wedge B)\Rightarrow A$ 假言推理 $(A\to B)\wedge A\Rightarrow B$ 拒取式 $(A\to B)\wedge \neg B\Rightarrow A$ 析取三段论 $(A\vee B)\wedge \neg B\Rightarrow A$ 假言三段论 $(A\to B)\wedge (B\to C)\Rightarrow A\to C$ 等价三段论 $(A\leftrightarrow B)\wedge (B\leftrightarrow C)\Rightarrow (A\leftrightarrow C)$ 构造性二难 $(A\to B)\wedge (C\to D)\wedge (A\vee C)\Rightarrow (B\vee D)$, $(A\to B)\wedge (\neg A\to B)\Rightarrow B$ 破坏性二难 $(A\to B)\wedge (C\to D)\wedge (\neg B\vee \neg D)\Rightarrow (\neg A\vee \neg C)$