Section 3.1 推理定律
设A,B,C为任意逻辑表达式
Objectives: 化简律
\(A \wedge B\) \(A\) \(B\)
Objectives: 假言推理
\(A \) \(A \imp B\) \(\therefore\) \(B\)
Objectives: 假言三段论
\(A \imp B\) \(B \imp C\) \(\therefore\) \(A \imp C\)
Objectives: 拒取式
\(\neg B\) \(A \imp B\) \(\therefore\) \(\neg A\)
Objectives: 析取三段论
\(A \vee B\) \(\neg B\) \(\therefore\) \(A\)