离散数学电子e教案.pptVIP

三个变元可构成28= 个不等价的命题公式，n个变元可构成 个不等价的命题公式。 1.7 对偶式与蕰含式 1.7.1对偶式 从1.3节的命题定律中可以看出，很多常用等价式是成对出现的，只要将其中的“∧”和“∨”分别换成“∨”和“∧”，就可以由一个得到另一个。例如，将命题定律 (A∨B) ∧ C?(A∧ C)∨(B∧ C ) 中的“∨”换成“∧”, “∧”换成“∨”就得到了命题定律 (A∧B) ∨C?(A∨C) ∧ (B ∨ C ) 这些成对出现的等价式反映了等价的对偶性。本节介绍对偶式和对偶原理。 定义1.7.1在仅含联结词?，∧，∨的命题公式A中，将联结词∨，∧，F，T分别换成∧，∨，T，F所得的公式称为公式A的对偶式，记为A*。 设A*是A的对偶式，将A*中的∨，∧，F，T分别换成 【例1.27】求p↑q和p↓q的对偶式。 解： p↑q??(p∧q) ?(p∧q)的对偶式是?(p∨q)?p↓q 故p↑q的对偶式是p↓q；同样的方法可以证明p↓q的对偶式是p↑q。 根据例1.27，对偶式概念可以推广为：在