重言式的判定-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）在真值表中，可以只列出命题变元与原