(1)附加律

A\Rightarrow A\lor B

(2)化简律

A\land B\Rightarrow A

(3)假言推理

(A\to B)\land A\Rightarrow B

(4)拒取式

(A\to B)\land\lnot B\Rightarrow \lnot A

(5)析取三段论

(A\lor B)\land\lnot B\Rightarrow A

(6)假言三段论

(A\to B)\land (B\to C)\Rightarrow A\to C

(7)等价三段论

(A\leftrightarrow B)\land (B\leftrightarrow C)\Rightarrow A\leftrightarrow C

(8)构造性二难

(A\to B)\land (C\to D)\land (A\lor C)\Rightarrow B\lor D

(9)破坏性二难

(A\to B)\land (C\to D)\land (\lnot B\lor\lnot D)\Rightarrow \lnot A\lor\lnot C
最后修改日期:2020年9月23日

留言

撰写回覆或留言

发布留言必须填写的电子邮件地址不会公开。