崔文芊

(南开大学哲学院，天津300071)

写真法、写假法探析

崔文芊

(南开大学哲学院，天津300071)

写真法和写假法是在真值表方法的基础上构造而成的一种确定真值表所对应的真值形式的方法。借助真值表方法对写真法和写假法的构造过程的合理性、有效性及特点予以探析，进而把写真法、写假法整合为一种新的方法——写真写假法。

写真法;写假法;等值

在现代逻辑中，真值表方法是判定真值形式的真值类型的一种最基本的方法，它是用真值表作为命题逻辑中确定真值形式的真值情况的一种有效的判定方法。依据这种方法，对于任一真值形式，可以根据若干特定步骤写出它的真值表，从而判定这一真值形式的类型;反过来，由任一给定的真值表亦可以确定其对应的真值形式，其常用的方法是:写真法和写假法。写真法和写假法作为现代逻辑中的一种方法是有其存在价值的，它实际上是对真值表方法的一种应用。

一、写真法和写假法的构造过程

约定:用“1”表示“真”，用“0”表示“假”。写真法的基本构成步骤如下:

在所给真值表的最后一列里，找出所有取值为1(文中已加粗)的真值。然后，在取值为1的这些行中，对于命题变元的赋值为1的，用合取符号“∧”把它与其它命题变元联结起来;对于命题变元的赋值为0的，用合取符号“∧”把它的否定与其它命题变元联结起来。最后，把所得的各部分的真值形式用析取符号“∨”联结起来，如此所得的真值形式即为该真值表所对应的真值形式。……