重言式的判定-chi.pptVIP

重言式的判定 熊明（编） 目次 重言式 用真值表判定重言式 归谬赋值法判定重言式 重言式 重言式与矛盾式 一个公式如果不论其中的命题变元取何真值，这个公式本身都为真，那么就称这个公式为重言式（tautology），或恒真式。 一个公式如果不论其中的命题变元取何真值，这个公式本身都为假，那么就称这个公式为矛盾式（contradiction），或恒假式。 例子 重言式： p ? ?p (p ? p) 矛盾式： p ? ?p ?(p ? p) 常见重言式 ?(p ? q)? ?p ? ? q ?(p ? q)? ?p ? ? q ?(p ? q)? p ? ? q ? ?p ? p 常见重言式 (p ? q)? ?p ? q (p ? q)? ?(p ? ? q) (p ? q) ? (? p ? q) (p ? q) ? ?(p ? ? q) 用真值表判定重言式 真值表的功用 某个公式的真值表用来显示：在该公式中命题变元的各种取值情况下，原公式相应的取值情况。 真值表的构造 以公式(?p?q)?(p?q)为例 （1）确定公式中所有的命题变元，并把它们依次列在真值表第一行。按照一定的秩序列出这些命题变元所有可能的真值情况。 （2）就命题变元的每种真值情况，从简单到复杂地确定公式中各个子公式的真值，直至最后确定原公式的真值。 （3）在真值表中，可以只列出命题变元与原公式的真值情况，而省略其他子公式的真值情况。 用真值表判定重言式 方法： 画出待判定公式的真值表。 直接从表中读出它是否是重言式。 例子：判定(?p?q)?(p?q)是否是重言式？ 真值表判定的优缺点 优点：直截了当 缺点：当待判定公式中命题变元较多时，比较繁琐 例子：判定(p?q?r)?(q?p?r)是否是重言式？ 归谬赋值法判定重言式 归谬赋值法的思想 真值表判定法是直接去“看”公式在命题变元的各种取值情况下，原公式的真值是否都为真。 反其道而行， 我们可以去寻找命题变元的某种取值，使得原公式在这种取值情况下为假： 若实际找到命题变元的这种取值，则原公式不是重言式。 若能证明命题变元的这种取值不存在，则原公式是重言式。 这就是归谬赋值法的思想。 归谬赋值法的思想示例 公式的主联接词 公式的主联接词：公式形成过程中使用到的最后一个联接词。 例如，公式(p?q)?(p?q)的主联接词是 左起第一个? 公式(p?q ? r ) ?( p ? ? r) ? ?q的主联接词是 右起第一个? 归谬赋值法的施行 继续上一过程，直至…… 归谬赋值法的施行 继续上一过程，直至…… 归谬赋值法的施行过程 从原公式开始，假使它为假，运用以下语义规则，逐步推算出原公式的子公式的真值。 优先使用的语义规则： 尽可能地不使用的语义规则： 试图寻找命题变元的一种真值情况使得原公式为假 如果可求得使原公式为假的命题变元的一种真值情况，那么可判定原公式不是重言式。 如果能够证明使原公式为假的命题变元的真值情况不存在，那么可判定原公式不是重言式。 如何证明使原公式为假的命题变元的真值情况不存在： 在使原公式为假的命题变元的各种真值情况下，总有某个子公式既为真又为假。 例子：判定 (p ? q?r)?(p?r)?(q?r)是否是重言式？ 以下，必须分情况进行讨论。 在第一种情况下，子公式p ? q?r既为T又为F。 例子：判定 (p?q?r)?(p?q)?(p?r)是否是重言式？ 在假定公式(p?q?r)?(p?q)?(p?r)为假时，则可知或者其中子公式p?q为假，或者其中子公式p?r为假。 在第一种情况下，由上面的分析可见，当p为T，q为F且r为T时，原公式已可取值为F，故据此可判定原公式不是重言式。（第二种情况可略去） HOMEWORK P.60 二、1,2,3,4 五、1, 2 A?B T A ? B T A ? B F (p ? q?r)?(p?r)?(q?r) F T F (p ? q?r)?(p?r)?(q?r) F T F F (p ? q?r)?(p?r)?(q?r) F T F F T F T F T F T F T F T F 在第二种情况下，子公式p ? q?r既为T又为F。 综上所述，在两种情况下都有一个子公式都既为T又为F。故可判定原公式是重言式。 (p?q?r)?(p?q)?(p?r) F T F (p?q?r)?(p?q)?(p?r) F T F F T F T F T * * F F T F F T T T q p ?p ?p?q p?q F F T F F T T T (?p?q)?(p?q) q p F F T T T F T T T F T T T T T T T T T T (?p?q)?(p?q) F F T F F T T