第2章命题逻辑的等值演算.ppt

主合取范式 ? 定义 设 p 1 ,…,p n 是 n 个不同原子，一个简单析取式 如果恰好包含所有这 n 个原子或其否定，且其排列顺 序与 p 1 ,…,p n 的顺序一致，则称此简单析取式为关于 p 1 ,…,p n 的一个极大项。 ? 显然，共有 2 n 个不同的极大项。 ? 例如，对原子 p ， q ， r 而言， p ?? q ? r ， ? p ?? q ? r ， p ? q ? r 都是极大项，但是， p ， ? p ? q 不是极大项， 而 ? p ? q 对原子 p ， q 而言是极大项。 命题公式和真值表的关系 p q A B ? A 0 0 0 1 1 1 1 1 0 0 1 1 0 1 0 1 0 0 1 0 命题公式和真值表的关系 ? 从 1 来列写 ? A ? ( … ) ∨ ( … ) ∨ ( … ) ? ( … ) 写成合取式，表示一种 A 值为真的情况。如 p=0 ， q=0 时为真， ( … ) 写成 ? p ∧ ? q ? 0 值取 ? p 形式 // 每个合取式只在唯一的一个解释下为真 ? A ? ( ? p ∧ ? q) ∨ ( ? p ∧ q) ∨ (p ∧ q) 命题公式和真值表的关系 ? 从 0 来列写 ? B ? ( … ) ∧ ( … ) ? 由 1 列写的方式进行转化： ? B ? ( … ) ∨ ( … ) ? B ? ? ( … ) ∧ ? ( … ) ? ( … ) 写成析取式，表示一种 B 值为假的情况。如 p=1 ， q=0 时为假， ? ( … ) 写成 p ∧ ? q ， ( … ) 写成 ? p ∨ q ? 1 值取 ? p 形式 ? A ? ? p ∨ q 可推知： ( ? p ∧ ? q) ∨ ( ? p ∧ q) ∨ (p ∧ q) ? ? p ∨ q 作业 ? 2.4. 用等值演算法证明下面等值式 : ? p ? ( p ∧ q ) ∨ ( p ∧ ? q ) ? ? ( p ? q ) ? ( p ∨ q ) ∧ ? ( p ∧ q ) ? ( p ∧ ? q ) ∨ ( ? p ∧ q ) ? ( p ∨ q ) ∧ ? ( p ∧ q ) 2.2 析取范式与合取范式 判定问题 ? 能否给出一个可行方法，对任意的公式，判定其 是否是永真公式。 ? 因为一个命题公式的解释的数目是有穷的，所以 命题逻辑的判定问题是可解的 ( 可判定的，可计算 的 ) ，亦即，命题公式的永真、永假性是可判定的。 基本概念 ? 原子 ? 文字 ? 简单合取式、简单析取式 ? 析取范式、合取范式 ? 极小项、极大项 ? 主析取范式、主合取范式 范式 ? 定 义 2.2 原 子 或 原 子 的 否 定 称 为 文 字 。 例如， p ， ? p 是文字。 ? 有限个文字组成的析取式称为一个简单析取式，或者子句； ? 有限个文字组成的合取式称为一个简单合取式，或者短语。 ? 特别，一个文字既可称为是一个简单析取式，也可称为是 一个简单合取式。 ? 例如， ? p ， p ? q ， ? p ? q 是简单析取式， ? p ， p ? q ， ? p ?? q 是简单合取式。 范式 ? 定义 2.3 有限个简单合取式的析取式称为析取范式； 有限个简单析取式的合取式称为合取范式。 ? 特别， ? 一个文字既可称为是一个合取范式，也可称为是一个析取范式。 ? 一个简单析取式、简单合取式既可看做是合取范式，也可看做是 析取范式。 ? 例如， ? p ， p ? q ， p ? q ， (p ? q) ? ( ? p ?? q) 是析取范式。 ? p ， p ? q ， p ? q ， (p ? q) ? ( ? p ? r) 是合取范式。 范式 ? 析取范式与合取范式具有下面性质： ? 一个析取范式是矛盾式当且仅当它的每个简单合取式 都是矛盾式． ? 一个合取范式是重言式当且仅当它的每个简单析取式 都是重言式 定理 ? 定理 2.1( 范式存在定理 ) 对于任意命题公式，都存在等值 于它的析取范式和合取范式。 ? 证明：对于公式 G ，通过如下算法即可得出等值于 G 的范式： 步 1. 使用基本等值式，将 G 中的逻辑联结词 ? ， ?