🚀 go-pugleaf

出題に、やや不手際があったので、仕切り直しです：－


# 問題文は英文に変えましたが、勿論、英語で回答する必要はありません。

英語で出題したのは、英語が使われている NG にも 「出題中」なので、それ
に あわせた迄のことです。


さあ、さあ、御立ち会い！


[Q-1]  Suppose that both of the following (i) and (ii) hold true.

(i)  : If A holds, then either B or C holds.
(ii)  : If D holds, then neither B nor C holds.

Then select the truths, if any, among (1)- (10).

  (1)  : If C holds, then D does not hold.
  (2)  : If D does not hold, then neither does A
  (3)  : [If A does not hold, then neither does B] or [If A holds, then so does B].
  (4)  : If B does not hold, then neither C nor D holds.
  (5)  : If C does not hold, then either A does not hold or D does hold.
  (6)  : If C hold despite that D does not hold, then B does not hold.
  (7)  : If either A or B holds, then D does not hold.
  (8)  : [If B holds, then so does A] or [If B does not hold, neither does D].
  (9)  : [If A holds, then so does D] or [If D holds, then so does A].
(10)  : If A holds despite that B does not hold, then either C or D does not hold.



[Q-2]  Suppose that two propositions P and Q are inconsistent.
Then which of the following (a) - (d) are considered truths ?

(a)  : At least one of P and Q is a truth.
(b)  : At least one of P and Q is a falsity
(c)  : One of P and Q is a truth and the other is a falsity.
(d)  : Both of P and Q can be falsities.


N.B.  The or's used above are all "inclusive".


M_SHIRAISHI