一、使用真值表方法的步骤
第一步,找出给定判断形式中所有的变项,列出这些变项的各种真值组合。第二步,根据判断形式的构成过程,由简到繁地将给定判断形式分解成各个组成部分。第三步,根据已掌握的七个复合判断的基本真值表,计算出每个组成部分的真值,最后得出该判断的真值。
二、真值表的主要判定作用
1.运用真值表方法可以判定任一复合判断的逻辑值。
2.运用真值表方法可以判定两个复合判断之间的真假关系(等值、矛盾、反对等)。
3.运用真值表方法可以判定一个推理是否有效。
4.运用真值表方法可以解决一些具体问题。