推理规则：

1. 前提引入规则
2. 结论引入规则
3. 置换规则
4. 假言推理规则 $(A\to B)\land A\Rightarrow B$
5. 附加规则 $A\Rightarrow A\lor B$
6. 化简规则 $A\land B\Rightarrow A$
7. 拒取式规则 $(A\to B)\land\neg B\to\neg A$
8. 假言三段论规则 $(A\to B)\land (B\to C)\Rightarrow A\to C$
9. 析取三段论规则 $(A\lor B)\land\neg B\Rightarrow A$
10. 构造性二难规则 $(A\to B)\land(C\to D)\land(A\lor C)\Rightarrow(B\lor D)$
11. 合取引入规则 $A\land B\Rightarrow A\land B$
12. 全称量词消去规则
13. 全称量词引入规则
14. 存在量词消去规则
15. 全称量词引入规则