逻辑学

解答：

句（1）和（2）是下反对关系，可以同真，不能同假，即其中至少有一真。由条件，三句话一真两假，则真话是句（1）或句（2），则句（3）是假话。由\有P不是S\假，可推出\所有P都是S\真，由\所有P都是S\换位，得\有S是P\，即句（1）真，因而句（2）假，由句（2）假，可推出\所有S都是P\真。这样，我们有\所有P都是S\，且\所有S都是P\，因此，S和P是全同关系。

6. 用真值表方法判定以下推理是否有效：

如果\世界上没有真理\这个命题是真的，那么它就是假的。因此，这个命题是假的。 解答：

令p = 世界上没有真理 p （p???p）??p 1 1 0 1 推理有效。

7. 用真值表方法判定以下真值形式的类型（重言式、矛盾式或非重言的可真式）： （p∧﹁q）?（﹁p∨q） 解答： p q （p∧﹁q）?（﹁p∨q） 1 1 0 1 0 0 0 1 0 0 0 0 该式为矛盾式。

8