汕头大学整合思维课件-逻辑：真值表算法的应用（一）.docxVIP

PAGE

PAGE2

?2020陈强立

逻辑：真值表算法的应用（一）

前文（《逻辑：逻辑规律与真值表算法》）引介了现代逻辑的一个重要算法：真值表算法。此一方法以基本真值表为基础，对常用的逻辑概念（真值函数连词）进行语理分析（主要是给出厘定性的定义），从而为分析所有基于真值函数连词的逻辑语式的所有可能的真假情况，提供了有效的算法。有关算法在应用方面有着显著的重要性，首先，此一算法为确定（建基于真值函数连词的）逻辑规律提供了有效的方法；其次，它为演绎推理提供了一个确当的理论基础。下文会首先讨论如何应用真值表算法来确定逻辑规律。

I.真值表判定法

前文指出对任一建基于真值函数连词的逻辑语式，例如“((P→Q)ΛP)→Q”、“((P→Q)ΛQ)→P”、“((P→QΛ(Q→R))→(P→R)”等，都可以应用真值表算法演算出它们的所有可能的真假情况。前文也指出，有关演算的结果只有三种可能情况：一、只取真值；二、只取假值；三、可取真值亦可取假值。第一种情况的语式我们称为“对确式”；第二种情况的语式我们称为“矛盾式”；第三种情况的语式我们称为“适然式”。

如此一来，就任一逻辑语式而言，只要它是对确式，它就是一个逻辑规律。因为，对确式只取真值，它的所有合规的代换个例皆为逻辑真理。前文说过，逻辑规律是这样的一种逻辑语式：它的所有合规的代换个例皆为逻辑真理。由于一个对确式只取真值，它的所有合规的代换个例皆为真确。换言之，它的合规代换个例就是一些只需分析其逻辑结构（即分析它的关键逻辑概念的意思）就能判断其为真确的命题。也就是说，它们都是逻辑真理。

要判断一个语句是否逻辑真理主要看下述两点：一、它是否某些逻辑语式的一个合规（有客观意义）的代换个例？二，是否凭藉分析其逻辑结构（即分析有关逻辑概念的意思）就能判断其为真确？只要上述两点都是肯定的，有关语句就是逻辑真理。由此观之，所有对确式都是逻辑规律，而真值表算法则为逻辑规律提供了一个有效的判定方法。

II.真值表判定法的应用：逻辑规律

A.思想三律

i)同一律：P→P

P

P→P

1

111

0

010

例：如果犬会吠，则犬会吠。

ii)排中律：PV?P

P

PV?P

1

10

0

011

例：犬会或不会吠。

iii)矛盾律：?(PΛ?P)

P

?(PΛ?P)

1

100

0

1001

例：并非犬会又不会吠。

B.其他逻辑规律

逆断律：(((P→Q)Λ?Q)→?P)

演算步骤：

I.列举P和Q的所有可能赋值，共4组：11100100

（组合数目的计算方法：2x2=4）;

II.演算((P→Q)Λ?Q)的所有可能真假情况，结果：100001100111（见下图）。由上述演算可以得出有关语式的（所有可能）结果值：0001。

P

Q

((P→Q)Λ?Q)

1

1

100

1

0

001

0

1

100

0

0

111

III.列举((P→Q)Λ?Q)和?P的所有可能真假情况：00000111（见下图）。根据有关的真假情况演算出((P→Q)ΛP)→Q的所有可能真假情况，结果：010010011111（见下图）。

P

Q

((P→Q)Λ?Q)→?P

1

1

010

1

0

010

0

1

011

0

0

111

由上述演算可得出该语式的（所有可能）结果值：1111。由此观之，上述语式是一个对确式，也就是说它是一个逻辑规律。

C.常见的逻辑规律

读者可自行应用真值表判定法检验下表其他的逻辑规律。

1.

p→p

同一律

2.

p?~p

排中律

3.

~(p?~p)

矛盾律

4.

p?~~p

双否律

5.

((p→q)?p)→q

正断律

6.

((p→q)?~q)→~p

逆继律

7.

((p?q)?~p)→q

选言律

8.

(p→q)?(~q→~p)