数理逻辑命题逻辑.pptVIP

主析取范式的用途 1.判断两命题公式是否逻辑等价 。由于任何命题公式的主析取范式都是唯一的，因而若A?B，说明A与B有相同的主析取范式，反之，若A，B有相同的主析取范式，必有A?B 。 举例 2.判断命题公式的类型 。设A是含n个命题变元的命题公式，A为重言式，当且仅当A的主析取范式中含全部2n 个极小项；A为矛盾式，当且仅当A的主析取范式中不含任何极小项，可设A的主析取范式为0；若A的主析取范式中至少含一个极小项，则A是可满足式。举例 3.求命题公式的成真和成假赋值 。举例 * 第三十页，共五十五页，2022年，8月28日 练习：用主析取范式法判断题下列公式的类型，并求公式的成真赋值。 (p→q)→(┐q→┐p) 分析： 求主析取范式可用真值表法，也可以用逻辑等价演算法： (p→q)→(┐q→┐p) ? ┐(┐p∨q)∨(q∨┐p) (消去→) ? (p∧┐q)∨┐p∨q (┐内移) (已为析取范式) ? (p∧┐q)∨(┐p∧┐q)∨(┐p∧q)∨(┐p∧q)∨(p∧q) ? m2∨m0∨m1∨m1∨m3 ? m0∨m1∨m2∨m3 所以，该式为重言式，00，01，10，11为成真赋值。 * 第三十一页，共五十五页，2022年，8月28日 4.极大项与主合取范式 定义 在含n个命题变元的简单析取式中，若每个命题变元与其否定