第1章 命题逻辑.pptVIP

例8：公式A的真值表如下，求公式A的主析取范式和主合取范式。pqrApqrA11110110110001001010001010010001解：公式A的主析取范式为：公式A的主合取范式为：第126页，共197页，星期日，2025年，2月5日⒊定理：设A是包含n个命题变元的命题公式，若不计其中极小项(或极大项)的排列次序，则A的主析取范式(或主合取范式)是唯一的。第127页，共197页，星期日，2025年，2月5日⒋范式的一些结论⑴n个命题变元可以组成也只能组成个不等的公式。⑵一公式为重言式的充要条件是它的主析取范式包含所有的极小项；它的主合取范式为“空”。⑶一公式为矛盾式的充要条件是它的主析取范式为“空”；它的主合取范式包含所有的极大项。⑷两公式等价的充要条件是它们的主析取范式一致；它们的主合取范式一致。第128页，共197页，星期日，2025年，2月5日例9：通过求主析取范式判断公式的类型，并求成真赋值和成假赋值。解：原式(析取范式)所以公式为可满足式，它的成真赋值为：001，000，111，011；成假赋值为：010，100，101，110。第129页，共197页，星期日，2025年，2月5日例10：通过求主合取范式判断公式的类型，并求成真赋值和成假赋值。解：原式公式的主合取范式为1，它不含任何最大项，即公式是重言式，它的成真赋值为：00，01，10，11；它没有成假赋值。第130页，共197页，星期日，2025年，2月5日例11：通过求主合取范式判断下列两公式是否等价。解：第131页，共197页，星期日，2025年，2月5日例12：已知公式A含2个命题变元p、q，A的成真赋值为00，11，求A的主析取范式和主合取范式。解：∵A的成真赋值为00，11；∴A的成假赋值为01，10。A的主合取范式为：∴A的主析取范式为：第132页，共197页，星期日，2025年，2月5日【例1.5.9】已知命题公式A（p，q，r）的成真赋值为010，101，110，求A。解：第133页，共197页，星期日，2025年，2月5日【例1.5.10】四人比赛，三人估计成绩。甲说：“A第一、B第二”，乙说：“C第二、D第四”，丙说：“A第二、D第四”。结果每人都说对了一半，假设无并列名次，问A、B、C、D的实际名次如何？解：设p：A第一，q：B第二。（甲说）r：C第二，s：D第四。（乙说）t：A第二，s：D第四。（丙说）第134页，共197页，星期日，2025年，2月5日因q、r不能同为1，p、t不能同为1，q、r、t不能同为0，即A不是第一，B第二，C不是第二，D第四，A不是二。故实际名次是：A第三，B第二，C第一，D第四。第135页，共197页，星期日，2025年，2月5日1.6推理理论推理是“前提→结论”的思维过程。在命题逻辑中，前提是已知的命题公式，结论是从前提出发应用推理规则推出的命题公式。在传统数学中定理的证明均是由前提（已知条件，全是真命题）推出结论（亦全是真命题），这样的结论称为合法结论。第136页，共197页，星期日，2025年，2月5日数理逻辑有所不同，它着重研究的是推理的过程，这种过程称为演绎或形式证明。在过程中使用的推理规则必须是公认的且要明确列出，而对于作为前提和结论的命题并不一定要求它们全是真命题，这样的结论称为有效结论。第137页，共197页，星期日，2025年，2月5日一、定义⒈定义1：设A、B是命题公式，当且仅当时，称B是前提A的有效结论。⒉定义2：设是命题公式，当且仅当时，称B是前提的有效结论,也记为第138页，共197页，星期日，2025年，2月5日定理1.5.2（对偶原理）：若则证明是永真式是永真式第94页，共197页，星期日，2025年，2月5日由定理1.5.1知是永真式。即仍是永真式。第95页，共197页，星期日，2025年，2月5日二、范式㈠组成范式的基本成分——简单析取式（或质析取式或基本和）和简单合取式（或质合取式或基本积）。⒈定义：⑴简单析取式——仅由命题变元或命题变元的否定所组成的析取式。⑵简单