命题逻辑（二）

一、范式

1·主析取范式=极小项的析取（用m表示）

2·主合取范式=极大项的合取（用M表示）

利用真值表：

画真值表，找出使得公式真值为真的所有解释，其对应极小项的析取就是该公式的主析取范式；找出使得公式为假的所有解释，其对应极大项的合取就是该公式的主合取范式。

等值演算法：

利用范式解决公式类型判定问题：

1·若主析取范式为空，则公式为矛盾式

2·若主合取范式为空，则公式为重言式

3·否则，公式为可满足式

利用主析取或主合取还可以判断公式是否等价。

二、推理

真值表法：

等值演算法：

自然演绎法：

证明过程中引入结论的前提作为条件

反证法（归谬法）：

引入结论的否定，推出矛盾P合取非P