命题逻辑真值形式的判定.docVIP

二．真值形式的判定 5．真值形式的类型·重言式、矛盾式和可真式·真值形式的判定及其基本方法 真值形式有三种基本类型：重言式、矛盾式和可真式。 一个真值形式是重言式，当且仅当它在其命题变项的任意一组赋值下都真。例如，是重言式，不论P取什么值．它的值都为真。 一个真值形式是矛盾式，当且仅当它在其命题变项的任意一组赋值下都假。例如，是矛盾式，不论q取什么值，它的值都假。 一个真值形式是可真式，当且仅它在其命题变项的至少一组赋值下为真。例如，pq是可真式。当p和q都真时pq为真。 显然，真值形式分为矛盾式和可真式，而可真式又分为重言式和非重言的可真式，重言式都是可真式，但可真式未必都是重言式。 一个真值形式A是重言式，当且仅当它的否定A是矛盾式。 一个真值形式A是可真式，当且仅当它的否定A不是重言式。 真值形式的判定，就是确定它属于重言式、矛盾式和(非重言的)可真式中的哪一种。 在各种真值形式中，我们最感兴趣的是重言式。在命题逻辑中，重言式也称为逻辑规律。真值形式的判定，主要是重言式的判定。 我们知道，一个命题推理的真值形式是一个蕴涵式，即前提的合取蕴涵结论。由推理有效性的定义，显然，一个命题推理是有效的，当且仅当它的真值形式是个重言的蕴涵式。也就是说，判定一个命题推理是否有效，就是判定它的真值形式是否为一重言式。 上面例举的重言式、矛盾式和可真式，在直观上是很明显的。但一般地说，靠直观难以判定一个真值形式的类型。要解决真值形式的判定，就要寻求一些一般性的方法。 下面将介绍一些判定真值形式的基本方法，它们是真值表方法、归谬赋值法、范式方法和真值树方法。 真值形式的判定问题是解决了的。也就是说，存在着一种能行的方法，能通过程序化的步骤，在有限步内判定任意一个真值形式是否为一重言式(矛盾式或可真式)。 6．真值表·能行方法·真值形式是能行可判定的 在以上的讨论中，已经运用了真值表。现在来说明，如何一般性地构造一个真值形式的真值表，以及如何运用真值表来完成真值形式的判定。 构造一个真值形式的真值表的步骤是：第一，确定真值形式中有多少个不同的命题变项；第二，列出命题变项的所有不同的取值情况，一般地，n个命题变项所有不同的取值情况是组；第三，相应于命题变项的各组取值，计算出真值形式的真值；第四，作出完整的真值表。 一个真值形式是重言式当且仅当它在其真值表各行中的取值都真。 一个真值形式是矛盾式当且仅当它在其真值表各行中的取值都假。 一个真值形式是可真式当且仅当它在其真值表至少一行中取值为真。 下面通过实例说明。 [例1] 用真值表判定以下真值形式： 该真值形式共有两个命题变项，因此其取值情况共有四种。依次计算出这四种情况下真值形式的值，即得真值表如下： 1 1 1 0 0 1 0 0 以上的真值运算过程在真值表中可以省去。上述真值表可写成： 1 1 1 1 0 1 0 1 1 0 0 1 该真值形式为重言式。 [例2] 用真值表判定下列真值形式： (1) (2) 1 1 0 1 1 0 0 1 0 1 0 0 0 0 0 1 (1)式是矛盾式，(2)式是非重言的可真式。 [例3] 用真值表判定下列命题推理是否有效： (1) 此案的作案者是张三，或者是李四。有证据证明张三没作案。因此，作案者是李四。 (2) 此案的作案者是张三，或者是李四。有证据证明张三作案。因此，作案者不是李四。 (3) 此案的作案者是张三，或者是李四。因此，并非如果李四没作案，就一定是张三作案。 [解] 令p＝作案者是张三，q=作案者是李四。则上述三个推理的真值形式是： (1) (2) (3) 构造三个真值形式的真值表如下： 1 1 1 0 0 1 0 1 1 0 0 1 1 1 0 0 0 1 1 0 (1)式是重言式，因而推理(1)有效。 (2)式是非重言的可真式，(3)式是矛盾式。因此，推理(2)和推理(3)无效。 上面的结论也说明，并非只有当其真值形式是矛盾式时，一个命题推理才是无效的；当且仅当其真值形式是重言式时，一个命题推理才是有效的。 [例4] 用真值表判定以下命题推理： 或者逻辑难学，或者没有多少学生喜欢它。如果数学容易学，那么逻辑不难学。因此，如果许多学生喜欢逻辑，那么数学并不太容易。 [解] 令p＝逻辑难学，q＝没有多少学生喜欢逻辑，r=数学容易学。 则该推理的真值形式