离散数学-数理逻辑-命题逻辑的推理理论（3）

数理逻辑-命题逻辑的推理理论

1、推理的定义

定义：设A和B是两个命题公式，当且仅当A→B是重言式时，称从A可推出B或B是前提A的有效结论，记为A$\Rightarrow$B .
注意：命题公式A推出B的推理正确当且仅当A→B为重言式.

2、推理的形式结构

3、推理定律

4、判断推理正确的方法

当命题变项比较少时，用前3个方法比较方便, 此时采用形式结构
，证明命题公式为永真式即可。而在构造证明时，采用“前提: A1, A2, … , Ak, 结论: B”.

5、构造证明法

构造证明的分为三种：直接证明法、附加前提证明法、归谬法。