第3章_命题逻辑全解.pptVIP

* DEFINITION 10. 命题公式P的对偶公式(Dual)：将P中的 析取联结词换成合取联结词， 合取联结词换成析取联结词， 1换成0，0换成1（如果存在的话）。 记为P*. 命题逻辑 对偶与范式 5 * 对偶原理(Duality Principle)： 设P，Q是两命题公式，如果 P ? Q， 则 P* ? Q*。 例：A： (P ∧﹁ Q)∨ Q B： P ∨ Q 这里， A? B，分析是否A*? B*。 对偶与范式 * 命题公式的标准化——范式 小项(small item)/合取式(conjunctive form): 若干个原子命题或其否定的合取。 大项(large item)/析取式(disjunctive form): 若干个原子命题或其否定的析取。 析取范式(disjunctive normal form)： 若干个小项的析取。 合取范式(conjunctive normal form)： 若干个大项的合取。 对偶与范式 * 定理的证明思路： 1、消去对?﹁、∧、∨?来说冗余的联结词； 2、将否定联结词移到命题变量的前面； 3、消除多余的否定联结词； 4、利用分配律化成合取范