命题公式的范式学习课件.pptVIP

第一章 命题与逻辑 1.5命题公式的范式 在命题逻辑中，判断两个命题公式是否等价是非常重要的事。以前我们多次提到，每一个命题公式都有无穷多个命题公式与之等价，它们的形式也可能是大相径庭的。本节我们引进命题公式的标准化，即使之等价于标准形式的命题公式，以致两个命题公式等价当且仅当它们的标准形式一样。这样根据命题公式的形式，就可以判断两个命题公式是否等价。这和线性代数中二次型的合同标准形是类似的。 一、合取范式和析取范式 定义 1.5.1 命题变元及其否定称为文字。 定义1.5.2 有限个文字的合取式称为简单合取式，其中每个文字称为合取项。有限个文字的析取式称为简单析取式，其中每个文字称为析取项。 由定义，文字既是简单合取式，又是简单析取式。 例1.5.1 , 都是简单合取式 , 都是简单析取式。 定理1.5.1 (1)简单合取式是矛盾式的充要条件是它包含两个分别为某个命题变元及其否定的合取项。 (2)简单析取式是重言式的充要条件是它包含两个分别为某个命题变元及其否定的析取项。 证明 我们只证(2), (1)的证明是类似的。 充分性 对命题变