离散数学17对偶与范式学习课件.pptVIP

第一章 命题逻辑 1-7 对偶与范式 尽管命题公式的最小联结词组可为??，∧?，??，∨?，?↑?，?↓?，但实际上一般出于方便的目的，命题公式常常包含??，∧， ∨ ?。 从第15页的表1-4.8的命题定律中可以看出，很多常用等价式是成对出现的，只要将其中的“∧”和“∨”分别换成“∨”和“∧”，就可以由一个得到另一个。 例如，将命题定律P∨Q∨R?P∨Q∨R中的“∨”换成“∧”就得到了命题定律P∧Q∧R?P∧Q∧R。这些成对出现的等价式反映了等价的对偶性。我们将这样的公式称作具有对偶规律。 本节将先介绍对偶式和对偶原理。 一、对偶式与对偶原理 定义1-7.1 在给定的命题公式A中，将联结词∨、∧分别换成∧、∨ ，若有特殊变元F和T亦相互对代，所得的公式称为公式A的对偶式，记为A*。 *设A*是A的对偶式，将A*中的∨，∧，F，T分别换成∧，∨，T，F，就会得到A。即A是A*的对偶式，A**?A。所以说A*和A互为对偶式。 例题1 写出下列表达式的对偶式 1.（ P∨Q）∧R 2. （ P ∧ Q）∨T 3. ?（ P∨Q）∧（ P∨?（Q ∧ ?S）） 一、对偶式与对偶原理 例题2 求P↑Q和P↓Q的对偶式。解： P↑Q??P∧QP∧Q的对偶式是?P∨Q?P↓Q故P↑Q的对偶式是P↓Q；同样的方法可以证明P↓Q的对偶式是P↑Q。 注意：根据例题2，对偶式概念可以推广为：在仅