1命题逻辑要点.ppt

* 析取范式 * 一个命题公式的合取范式或析取范式并不是唯一的。 主析取范式和主合取范式 为了使任意一个命题公式，化成唯一的等值命题的 标准形式，我们有下面的概念 * n个命题变元的简单合取式，称作极小项或布尔合取，若每个变元与它的否定不能同时存在，但两者之一必须出现且仅出现一次。 (极)小项或布尔合取 * * * 对于给定的命题公式，如果有一个等值公式，它仅由极小项的析取式所组成，则该等值式称作原式的主析取范式。 主析取范式 定理1-5 任何命题公式的主析取范式都存在，并且惟一(变元顺序确定之后) * 1 利用命题演算化主析取范式的步骤如下: （1）化归为析取范式 （2）除去析取范式中所有永假的析取项 （3）将析取式中重复出现的合取项和相同的变元合并 （4）对合取项补入没有出现的命题变元，即合取(P∨┐P),然后利用分配律展开公式 求主析取范式 2 真值表法 定理： 在真值表中,一个公式的真值为T的指派所对应的极小项的析取为此公式的主析取范式 * 主析取范式的用途 1、判断两公式是否等值 两公式等值的充分必要条件是它们的主析取范式相同 2、判断命题公式的类型 公式为重言式当且仅当公式的主析取范式中含有全部的极小项 公式为矛盾式当且仅当公式的主析取范式中不含任何极小项 公式为可满足式当且仅当公式的主析取范式中至少含有一个极小项 3、求公式的成真和成假赋值 4、求实际问题的逻辑表达式 * n个命题变元的析取式，称作大项或布尔析取，其中每个变元与它的否定不能同时存在，但两者之一必须出现且仅出现一次。 (极)大项或布尔析取 注意大项的编码与小项的编码方法相反 * * 对于给定的命题公式，如果有一个等值公式，它仅由大项的合取所组成，则该等值式称作原公式的主合取范式。 主合取范式 定理 在真值表中，一个公式的真值为F的指派所对应的大项的合取，即为此公式的主合取范式。 定理 任何命题公式的主合取范式都存在,并且惟一 （不考虑变元顺序） * 利用推理运算将命题公式化为主合取范式的步骤: (1)化归为合取范式 (2)除去合取范式中所有为永真的合取项 (3)合并相同的析取项和相同的变元 (4)对析取项补入没有出现的命题变元,即析取(P∧┐P)式, 然后应用分配律展开公式 P21 例1.18 * 也可利用主析取范式求主合取范式（反之亦然） 极小项与极大项的关系： 　设命题公式Ａ中含有ｎ个命题变元，且设Ａ的主析取范式中含ｋ个极小项　　　　　　，则　　的主析取范式中必含　　　个极小项，设为　　　　　　　，即 由此得出由Ａ的主析取范式求主合取范式的步骤： （1）求出A的主析取范式中没包含的极小项 （2）求出与（1）中角码相同的极大项 （3）由以上极大项构成的合取式为A的主合取范式. * 求主析取（合取）范式的方法： 1.真值表法 2.等值演算（推理运算）方法 3.相互转换方法 * 1.6 推理理论 判别有效结论的过程是一个论证过程，论证的方法有多种，基本的方法有如下几种 * * 构造证明法 由一组前提，利用一些公认的推理规则，根据已知的等值或蕴含重言式，推演得到有效的结论。常用的蕴含式列入P23的推理规则中。 P规则(前提引入规则) 一个前提，可在任何步骤引入论证。 T规则(结论引入规则) 一个公式S，若它被论证过程中已经得出的若干公式蕴含，则S可以引入论证。 * * * * * * * 此题也可用附加前提法证明 * 第一章 内容回顾? 一、知识点 1．命题的概念、表示方法；联结词的逻辑意义。 2．命题公式的递归定义，自然语言翻译成命题公式 3．真值表的构造、命题公式等值的概念。 4．命题公式的类型、常用的等值公式。 5．命题公式的对偶式、合取范式、析取范式、主合取范式、主析取范式。极小项、极大项。任给公式化为析取范式、任给公式化为主析取范式、任给公式化为合取范式、任给公式化为主合取范式。 6．命题逻辑的推理理论，主要的推理方法：真值表法、构造证明法、间接证明法。常用推理规则：P规则、T规则、CP规则。 * 例：将下列命题符号化: （1）只要不下雨，他就骑自行车上班。 （2）只有不下雨，他才骑自行车上班。 （1）没下雨就骑车去上班 （2）骑车去上班肯定没下雨 解： P：天下雨， Q：他骑自行车上班 （1） ┐ P→Q （2）Q→ ┐ P 课本P31 * 设 P，Q为两个命题，复合命题“P当且仅当 Q”，称作 P与 Q的等价式，记作 P?Q. 其关系如表 P Q P?Q F F F T T F T T T F F T P和Q互为充分必要条件 5．