01-命题逻辑-1.6~1.7.pptVIP

第一章 命题逻辑 第六节 范式 第六节 范式 问题 对一个命题公式，除了真值表以外，怎样才能判定其类型？ 已知一个公式为真和为假的所有赋值，能否写出该公式的表达式？ 如何能找出命题公式的标准形式，使我们仅根据这种标准形式就能判断两个公式是否等值？ 范式 一、简单合取式与简单析取式 1. 简单合取式 定义：在一个公式里，仅由命题变元及其否定构成的合取式，叫做简单合取式（或基本积，质合取式）其中，每个命题变元或其否定，成为合取项。 例如：P，? Q，P ∧ Q，P ∧ Q ∧ ? Q 简单合取式 定理：简单合取式为永假式的充要条件是： 它同时含有某个命题变元及其否定 证明：1）充分性：对于任意命题变元P， P ∧ ? P为F 若P ∧ ? P在简单合取式中出现，它必为永假式 2）必要性：设某简单合取式为永假式，但它并不同时包含任何命题变元及其否定 若对各不带否定的命题变元赋值T，对带否定的命题变元赋值F，则该简单合取式的值为T，与假设矛盾。证毕 简单析取式 2. 简单析取式 定义：在一个公式里，仅由命题变元及其否定构成的析取式，叫做简单析取式（或基本和，质析取式）其中，每个命题变元或其否定，成为析取项。 例如：P，? Q，P ∨ Q，P ∨ Q ∨ ? Q 定理：简单析取式为永真式的充要条件是： 它同时含有某个命题变元及其否定 范式 二、析取范式与合取范