第一章第6节 范式.pdfVIP

第一章 命题逻辑 §1.6 范式 判断两个公式是否等值的方法，我们已经学过真值表 §1.1 命题和联结词 法，等值演算法。本节再学一种方法，即把公式都化成 某种标准形式，然后从形式上比较它们的标准形式。标 §1.2 公式和真值赋值 准形式应该满足以下条件： §1.3 等值演算 (1) 对于每个公式都存在与之等值的标准形式。 §1.4 对偶定理 (2) 不同的标准形式不等值。 §1.5 联结词的完全集 这样，我们只要把两个公式通过等值演算分别化为标准 形式，若它们的标准形式相同，则它们等值，否则它们 §1.6 范式 不等值。 §1.7 逻辑推论 标准形或范式这类术语在数学中常见，比如几何学中 x 2 +y 2 r2 是圆的范式。 定义1.14 原子公式和原子公式的否定统称为文 定义1.15 设n 是正整数，A ,…, A 都是文字，称A ∨… 1 n 1 字。如果一个文字恰为另一个文字的否定，则称它 ∨An 为简单析取式，称A 1 ∧…∧An 为简单合取式。（也 就是说简单析取式和简单合取式其支命题都是命题变元或 们为相反的文字。 命题变元的否定，其中命题变元可以重复出现） 例如，p , ¬p 都是文字，并且是相反的文字，p 和 例如，p , ¬p 都是文字，可以看作一个文字的析取，也可 ¬q 不是相反的文字。¬¬p , p ∧p 都不是文字。 以看作一个文字的合取，因此，既是简单析取式，又是简 文字是一个语法概念，是满足下列条件之一的符号 单合取式。 串： p ∨p ，p ∨¬p ，¬p ∨¬q 都是简单析取式，不是简单合 1. 长度为1，并且组成它的这个符号是命题变 取式。p ∧p ，p ∧¬p ，¬p ∧¬q 都是简单合取式，不是 简单析取式。 元； p ∨(¬p ∧¬q) 既不是简单析取式，也不是简单合取式。 2. 长度为2，并且组成它的第一个符号是¬，第 二个符号是命题变元。 定义1.16 设n 是正整数。若A ,…, A 都是简单合取式， 合取范式和析取范式的功能：前者能够判断一命题公式是 1 n 则称A ∨…∨A 为析取范式；若A , …, A 都是简单析取 否为重言式，后者能够判断它是否为永假式。因为合 1 n 1 n 式，则称A 1 ∧…∧An 为合取范式。 取范式的各合取项是简单