离散结构-对偶与范式+命题逻辑-03

离散结构

对偶式与范式

对偶式

定义：在仅含有连接词非，v，^ ,的命题公式A中，将v换成 ^，同时将T和F互相替代，所得公式A*，称为对偶式。当然A式A的对偶式A*的对偶式。

公式的标准型-范式

范式存在定理：

任意命题公式都存在着与之等值的析取范式与合取范式。

主范式

极小项：

极大项：

主范式求解：

命题演算的推理结论：

有效推理：

判断命题是否正确的方法：

证明命题是重言式。

• 真值表
• 等值演算
• 主范式

重要的重言蕴涵式：

命题推理的自然推理法：

形式系统：

自然推理系统：

直接证明法：

1. 命题符号化
2. 写出证明的形式结构：前提，结论

附加前提证明法：

归谬法：