逻辑学导论（第4版）L9. 重言式及其判定方法.pptxVIP

四、重言式及其判定方法; 还有一些可能会用到的术语： 重言式又称命题逻辑的有效式。 矛盾式和偶真式合称非有效式。 重言式和偶真式合称可满足式。;重言式 （有效式）;例如: p?p，?(p∧?p)，p∨?p是重言式，不论其中的命题变项p究竟是真还是假，这些真值形式恒真； p∧?p，(p?q)∧(p∧?q)是矛盾式，不论其中的命题变项p，q取什么真值，这些真值形式恒假。 q??(s∧t)是偶真式，它对于q、s和t的某些取值为真，另一些取值为假。;重言式的判定;真值表法;（3）按照上面给定的真值联结词的真值表，由命题变项的真值逐步计算出各个子公式的真值，直至该公式本身的真值。 若该公式恒取值为真，则它为重言式；若它恒取值为假，则它为矛盾式；若它有时取值为真、有时取值为假，则它为偶真式。;例题1：用真值表法判定((p?q)∧p)?q是否是重言式。 解： 由表中最后一列均为1可知，对任意赋值，原公式总为真，所以该公式是重言式。; 一个命题变项p有两种可能的真值，其真值组合2?1=21 两个命题变项p和q的真值组合2?2=22 三个命题变项p、q和r的真值组合2?3=23 一般地说，n个命题变项的真值组合是2n;例题2：用真值表法判定(p→q)∧(q→r)→?(p→r)是否是重言式。 解： 由表中最后一列有1有0可知，对不同的赋值，原公式有时为真，有时为假，所以该公式不是重言式（是偶真式）。;真值表方法可以用来判定任一给定的命题逻辑公式是不是重言式。 任一给定的公式必定只包含有穷多个命题变项，因而只涉及有穷多种真假组合；并且根据公式的形成过程，该公式必定由有穷多次地使用真值联结词去连接这些变项构成。所以，从这些变项的有穷多种真假组合出发，根据相应的真值联结词的真值表，经过有穷多次计算，最终必定得出该公式的真值，从而确定该公式是不是重言式。所以，真值表方法提供了关于重言式的判定程序。;常用重言式;; 第二章：命题逻辑;归谬赋值法;归谬赋值法的具体做法： （1）写出所要判定的公式A； （2）在A的主联结词下写0； （3）按照联结词的真值表，由主联结词的真值逐步逆推出其中子公式的真值，在相应子公式下写1或者0，并按此办法依次进行下去。在一子公式下写1或者0，也就是在它的主联结词下写1或者0；如果这个公式是命题变项，则在该变项下写1或者0。; （4）检查赋值中是否出现矛盾。尽管赋值过程尚未最后完成，若已经出现矛盾，则就此打住。否则，赋值过程一直进行下去，直至给出命题变项的真值。若出现矛盾，为醒目起见，在互相矛盾的赋值下面置一短横线。这表明该公式不可能为假，必定是重言式。若未出现矛盾，则表明该公式可以为假，不是重言式。;例1 (p∧q?s)?(?s?(p??q)) 0 1 0 1 0 0 1 0 1 0 1 1 1 0 将主联结词赋值为假出现矛盾，所以该公式是重言式。;归谬赋值的过程可减缩为一行，如： 例2;在实际运用中，归谬赋值法有时会遇到一些复杂的情形，例如： （1）…A∧B… 0 （2）…A∨B… 1 （3）…A?B… 1 （4）…A?B… 1 （5）…A?B… 0; 当不能根据待判定公式中的其他赋值确定A的赋值或B的赋值时，就需要考虑各种可能的选择，只有在每一种选择之下都导致赋值矛盾，该公式才是重言式；若在其中一种选择之下不导致赋值矛盾，则它可以为假，不是重言式。;例3 (p?q)∧(q?p)?(p?q) 1 0 0 ① 1 0 0 0 0 1 1 1 0 ② 0 1 1 0 1 0 0 0 1 将主联结词赋值为假出现矛盾，所以该公式是重言式。;例4 (p?q)∨(q?p)?(p?q) 1 0 0 ① 1 0 0 1 0 1 1 1 0 ② 略 因为第①种情况（p真q假）做完后没有发现矛盾，这足以证明原公式的否定可满足，所以第②种情况（p假q真）不必再做。 所以，将主联结词赋值为假未出现矛盾，所以该公式不是重言式。;树形图法;??规则： ??B ? | B ∧规则：