逻辑学5 第五篇 章 重言式的判定.pptVIP

重言式的判定;目次;重言式;重言式与矛盾式;例子;用真值表判定重言式;真值表的功用;真值表的构造;（1）确定公式中所有的命题变元，并把它们依次列在真值表第一行。按照一定的秩序列出这些命题变元所有可能的真值情况。;（2）就命题变元的每种真值情况，从简单到复杂地确定公式中各个子公式的真值，直至最后确定原公式的真值。;（3）在真值表中，可以只列出命题变元与原公式的真值情况，而省略其他子公式的真值情况。;用真值表判定重言式;例子：判定(?p?q)?(p?q)是否是重言式？;真值表判定的优缺点;例子：判定(p?q?r)?(q?p?r)是否是重言式？;p;;;归谬赋值法判定重言式;归谬赋值法的思想;归谬赋值法的施行;根据?的意义，可知原公式的前件p?q为真，后件p?q为假。;继续上一过程，直至……;归谬赋值法的施行;根据?的意义，可知原公式的前件?p?q为真，后件p?q为假。;继续上一过程，直至……;从原公式开始，假使它为假，逐步推算出原公式的子公式的真值。 试图寻找矛盾的真值情况 如果矛盾的真值情况无法回避，那么可以判定原公式是重言式； 否则，则判定原公式是非重言式。;下面的法则要优先使用：;下面的法则要尽可能地不使用：;例子：判定 (p ? q?r)?(p?r)?(q?r)是否是重言式？;(p ? q?r)?(p?r)?(q?r);例子：判定 (p?q?r)?(p?q)?(p?r)是否是重言式？;在第一种情况下，由上面的分析可见，当p为T，q为F且r为T时，原公式已可取值为F，故据此可判定原公式不是重言式。（第二种情况可略去）;;;推理有效性的判定;定理 推理形式 有效，当且仅当公式 A1?A2 ?A3 ?…?An?B是重言式。;例子;解答;原推理有效，当且仅当公式 (p?q ? r ) ?( p ? ? r) ? ?q 是重言式。 用归谬赋值法可判定上一公式是重言式： …… 所以，可以判定原来的推理是有效的。;HOMEWORK