0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 1 显见，((p←q)∧(q→r))→(p←r)不是重言式，(p←q)∧(q→r)├ p←r无效。
4．只有搞好经济建设，才算得上国家繁荣富强。只有国家繁荣富强，人民生活水平才能提高。所以，如果搞不好经济建设，就不能使人民生活水平提高。
解：令p表示搞好经济建设，q表示国家繁荣富强，r表示人民生活水平提高，则
(p←q)∧(q←r)├﹁p→﹁r。
这里只能用真值表判定((p←q)∧(q←r))→(﹁p→﹁r)是否是重言式。做((p←q)∧(q←r))→(﹁p→﹁r)的真值表如下。 p q r ﹁p 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 ﹁r p←q q←r 0 1 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 0 1 (p←q)∧(q←r) 1 1 0 1 0 0 0 1 ﹁p→﹁r 1 1 1 1 0 1 0 1 ((p←q)∧(q←r))→(﹁p→﹁r) 1 1 1 1 1 1 1 1 显见，((p←q)∧(q←r))→(﹁p→﹁r)是重言式，(p←q)∧(q←r)├﹁p→﹁r有效。
（三）用归谬赋值法判明以下推理形式是否有效。 1．只有A和B一起上场，或对方弃权（C），我队才会取胜（D）。B未参加且对方未弃权。因此，我队将不能取胜。
解：根题意，该推理形式为(((A∧B)∨C)←D)∧﹁B∧﹁C├﹁D。要用归谬赋值法判定该
推理是否有效，就需判定((((A∧B)∨C)←D)∧﹁B∧﹁C)→﹁D是否是重言式。
((((A∧B)∨C)←D)∧﹁B∧﹁C)→﹁D
………………………………………………… …假设 （1） …………………0 ………………………1 ……0 1 （2） ……………由（1）得 …………………………1 …1 1 由（2）得 （3） ……………1 ………… 1 0 0 （4） …………由（3）得
……… （5） ………1 0 由（4）得 （6） …1 …由（5）得 （7） 1 1 由（6）得
赋值出现矛盾，所以((((A∧B)∨C)←D)∧﹁B∧﹁C)→﹁D是重言式，即推理(((A∧B)∨C)←D)∧﹁B∧﹁C├﹁D是有效的。
2．如果调查继续进行（A），则将揭露出新的证据（B）。如果揭露出新的证据，则会有若干领导人物受牵连（C）。如果有若干领导人物受牵连，则报纸将不再公布案情（D）。如果继续调查会导致报纸不再公布案情，则揭露新的证据会导致继续调查。调查不再继续。因而新的证据不会被揭露出来。
解：根据题意，该推理形式为(A→B)∧(B→C)∧(C→﹁D)∧((A→﹁D)→(B→A))∧﹁A├
﹁B。要用归谬赋值法判定该推理形式是否有效，就需判定((A→B)∧(B→C)∧(C→
37
﹁D)∧((A→﹁D)→(B→A))∧﹁A)→﹁B是否是重言式。
((A→B)∧(B→C)∧(C→﹁D)∧((A→﹁D)→(B→A))∧﹁A)→﹁B F T T T T T T T T T T F T T F F T T T F F T T F F F T
显然，赋值出现矛盾，所以((A→B)∧(B→C)∧(C→﹁D)∧((A→﹁D)→(B→A))∧﹁A)→﹁B是重言式，即推理(A→B)∧(B→C)∧(C→﹁D)∧((A→﹁D)→(B→A))∧﹁A├﹁B是有效的。
3．如果张丰接到电报（p），他就会乘飞机赴会（q）。但是，如果张丰未乘飞机赴会，则他将赶不上会议（﹁r）。如果张丰赶上会议，则李盛将被选进委员会（s）。但是，如果李盛被选进委员会，则张丰会接到电报。如果张丰没赶上会议，或张丰未接到电报，则张丰未乘飞机赴会，或李盛未被选进委员会。张丰未赶上会议。因而，张丰未接到电报或者李盛未选进委员会。
解：根据题意，该推理形式为(p→q)∧(﹁q→﹁r)∧(r→s)∧(s→p)∧((﹁r∨﹁p)→(﹁q∨﹁
s))∧﹁r├﹁p∨﹁s。要用归谬赋值法判定该推理形式是否有效，就需判定((p→q)∧(﹁q→﹁r)∧(r→s)∧(s→p)∧((﹁r∨﹁p)→(﹁q∨﹁s))∧﹁r)→(﹁p∨﹁s)是否是重言式。
((p→q)∧(﹁q→﹁r)∧(r→s)∧(s→p)∧((﹁r∨﹁p)→(﹁q∨﹁s))∧﹁r)→(﹁p∨﹁s) F T F T T T F T F T T T F F F T T T T T F T T F T F T T T T T T T T T F F T
赋值出现矛盾。所以，((p→q)∧(﹁q→﹁r)∧(r→s)∧(s→p)∧((﹁r∨﹁p)→(﹁q∨﹁s))∧﹁r)→(﹁p∨﹁s)是重言式，即 (p→q)∧(﹁q→﹁r)∧(r→s)∧(s→p)∧((﹁r∨﹁p)→(﹁q∨﹁s))∧﹁r├﹁p∨﹁s是有效推理。
（四）运用真值表法解答下列问题
1．请列出下列ABC三个命题的真值表，并回答ABC均真时，甲、乙是否去北京。
A：只有甲去北京，乙才去北京。 B：如果甲去北京，那么乙也去北京。 C：甲不去北京或乙不去北京。
解：设p表示甲去北京，q表示乙去北京。则上述三个命题可以分别符号化为：
A：p←q B：p→q C：﹁p∨﹁q 做它们的真值表： p q 1 1 1 0 0 1 0 0 ﹁p 0 0 1 1 ﹁q 0 1 0 1 p←q 1 1 0 1 p→q 1 0 1 1 ﹁p∨﹁q 0 1 1 1 从真值表可以看出，当当ABC均真时，甲和乙都不去北京。
2．列出ABC三个命题的真值表，并回答：当ABC中恰有两假时，能否断定甲村所有人家有彩电、能够断定乙村有些人家没有彩电吗？
A：只有甲村有些人家没有彩电，乙村所有人家才有彩电。 B：甲村所有人家有彩电，并且乙村所有人家有彩电。 C：甲村所有人家有彩电，或者乙村所有人家有彩电。
解：设p表示甲村有些人家没有彩电，q表示甲村所有人家才有彩电，r表示乙村所有
38
人家才有彩电。则上述三个命题可以分别符号化为：
A：p←q B：p∧q C：p∨r
做它们的真值表：
p q r p←q 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 0 0 0 1 0 0 0 1 1 1 1 0 0 1 1 p∧q 1 1 0 0 0 0 0 0 p∨r 1 1 1 1 1 1 0 0
当ABC中恰有两假时，可以断定并非甲村所有人家都有彩电，但不能断定乙村有些人家没有彩电。
3．甲、乙、丙三位领导发表下列意见。请用真值表解答：是否有同时满足甲、乙、丙的意见的方案。
甲：如果小张去黄山，那么小刘也去黄山。 乙：只有小张去黄山，小刘才去黄山。 丙：小张去黄山，或者小刘去黄山。
解：设p表示小张去黄山，q表示小刘去黄山。则上述三个命题可以分别符号化为：
甲：p→q 乙：p←q 丙：p∨q
做它们的真值表： p q 1 1 1 0 0 1 0 0 p→q 1 0 1 1 p←q 1 1 0 1 p∨q 1 1 1 0 显然，有能够同时满足甲乙丙三人意见的方案，即小张和小刘都去黄山。
五、证明题
（一）利用给出的符号或变项为下面的论证构造形式证明。 1．如果日用品短缺日益严重（p），则物价上涨（q）。如果财政部门改组（r），则财政管制将不再继续（﹁s）。如果通货膨胀的威胁继续存在（t），则财政管制将继续下去。如果生产过剩（u），则物价不会上涨。或者生产过剩，或者财政部门改组。因而，或者日用品短缺不再继续发展，或者通货膨胀的威胁不再继续存在。 证明：⑴ p→q 已知
⑵ r→﹁s 已知 ⑶ t→s 已知
39
⑷ u→﹁q 已知 ⑸ u∨r 已知 ⑹ q→﹁u ⑷，假言易位推理 ⑺ p→﹁u ⑴、⑹，条件三段论 ⑻ u→﹁p ⑺，假言易位推理 ⑼﹁s→﹁t ⑶，假言易位推理 ⑽ r→﹁t ⑵、⑼，条件三段论 ⑾ ﹁p∨﹁t ⑸、⑻、⑽，二难推理的复杂构成式 即(p→q)∧(r→﹁s)∧(t→s)∧(u→﹁q)∧(u∨r)├﹁p∨﹁t。 2．如果石油供应保持现状（A）而石油消耗量增加（B），则石油会涨价（C）。如果石油消耗量增加导致石油涨价，则国家要实行石油配给制（D）。石油供应保持现状。因而，国家要实行石油配给制。 证明：⑴ (A∧B)→C 已知
⑵ (B→C)→D 已知 ⑶ A 已知 ⑷ ﹁(A∧B)∨C ⑴，等值命题 ⑸ ﹁A∨﹁B∨C ⑷，德摩根定律 ⑹ (﹁B∨C)→D ⑵，等值命题 ⑺ (﹁A∨﹁B∨C)→D ⑹，条件附加律 ⑻ D ⑸、⑺，充分条件推理的肯定前件式 即((A∧B)→C)∧((B→C)→D)∧A├ D。
注意：（1）p→q=﹁p∨q。
（2）p→(p∨q)叫做析取附加律，其直观含义是：如果p成立，那么p∨q也
成立。
（3）条件附加律(p→q)→((p∨r)→q)的直观解释是，如果p蕴涵q，那么给
p附加一个条件后，它们仍然蕴涵q。条件附加律可以视为析取附加律的一种扩展。
可见，教材介绍的自然推理方法并不够用。当然，它的不足够性不仅仅反映在这一个地方。
3．如果宣战是一个正确的战略行动（D），则或者已有50个师做好战斗准备（F），或者已有20个远程轰炸机联队准备好发动攻击（T）。然而，并没有50个师已做好战斗准备。因而，如果20个远程轰炸机联队尚未准备好发动攻击，则宣战不是一个正确的战略行动，或者有新的武器可用（S）。 证明：⑴ D→(F∨T) 已知
⑵ ﹁F 已知 ⑶ ﹁T 假设 ⑷ ﹁(F∨T)→﹁D ⑴，假言易位推理 ⑸ (﹁F∧﹁T)→﹁D ⑷，德摩根定律 ⑹ ﹁F∧﹁T ⑵、⑶，联言推理的组合式 ⑺ ﹁D ⑸、⑹，充分条件推理的肯定前件式 ⑻ ﹁D∨S ⑺，析取附加式 ⑼﹁T→(﹁D∨S) ⑶、⑻，→引入 即(D→(F∨T))∧﹁F├﹁T→(﹁D∨S)。
注意，在自然推理系统中，如果需要，可以随时引入→，用上面的公式蕴涵下面的公
40