命题逻辑等值演算.pdfVIP

离散数学 第二章 命题逻辑等值演算 2013-6-14 1 1 本章说明 本章说明 本章的主要内容 – 等值式与基本的等值式 – 等值演算与置换规则 – 析取范式与合取范式、主析取范式与主合取范式 – 联结词完备集(不讲) – 可满足性问题与消解法(不讲) 本章与后续各章的关系 – 是第一章的抽象与延伸 – 是后续各章的现行准备 2013-6-14 2 2 2.1 等值式 两公式什么时候代表了同一个命题呢？ 抽象地看，它们的真假取值完全相同时即代 表了相同的命题。 设公式A,B共同含有n个命题变项，可能对A或 B有哑元，若A与B有相同的真值表，则说明在 2n个赋值的每个赋值下，A与B的真值都相同 。于是等价式A↔B应为重言式。 2013-6-14 3