🚀 go-pugleaf

M_SHIRAISHI wrote:
> 
> さあ、さあ、御立ち会い！
> 
> [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.


あの～、非常に基本的な質問がM_SHIRAISHIさんにあるのです。

それは[Q-1]において「ＡとＤはどのような関係にある命題なのか？」ということです。
簡単に言うと「ＡとＤが同時に成立するケース」を考えなければならないのかどうか
知りたいのです。というのはそれによって二通りの回答が可能だと思えるからです。

もしＡとＤが同時に成立しているとすると、少々おかしな事になります。なぜならば
(i)と(ii)が矛盾するような気がするからです。

そこで、本記事では二通り回答をしてみました。一つはＡとＤが完全に独立して真理値
をとりうる場合で、もう一つはＡとＤはお互いにある関係を保っていると考える場合です。


# 以下の記事中 "*"は「論理積」を、"!D"は「Ｄの否定」を表すことにします。
# なお "!"記号はすぐその後の命題を表すアルファベットと結びつく（この場合はＤ）もの
# とします。
# "B + C"における "+"は論理和を意味しているのでありまして、普通の代数における加算
# とは違います。


----------------------------------------------------------------------------------
【回答例Ａ】（ＡとＤはある関係をもつ）
----------------------------------------------------------------------------------
(ii)より、「Ｄが falseであることが、Ｂ及びＣが trueとなるための条件の一つ」
という解釈をすることにします。具体的には、

(a)Ａが成立するときにはＤは成立しない
(b)Ａが成立しないときにはＤはどっちでもよい

すると以下のような式が導けます。

B + C =  A　　    -------------式１
　　D = !A * X    -------------式２

式２は、ＡとＤとの関係を表しています。すなわち、Ｄが成立するためにはＡが不成立で
あることが必須であるが、Ａが不成立だからといってすぐにＤが成立するとは限らない。
未知の命題Ｘが同時に成立している必要がある。これはＡもＤも不成立となりうる可能性
を実現するためにこのような未知の命題Ｘを置いてあるのです。

> Then select the truths, if any, among (1)- (10).
> 
>   (1)  : If C holds, then D does not hold.

Ａが成立しているのですから、式２は不成立となります。
   Answer: True


>   (2)  : If D does not hold, then neither does A

式２より、ＸしだいでＡの成立・不成立は関係なくなります。よって、。
   Answer: False


>   (3)  : [If A does not hold, then neither does B] or [If A holds, then so does B].

[If A does not hold, then neither does B]は常に正しい。
[If A holds, then so does B]は必ずしも常に正しくない。"or" で結ばれているので、
   Answer: True


>   (4)  : If B does not hold, then neither C nor D holds.

Ｃは、ＡがTrueならTrueということになります。
   Answer: False


>   (5)  : If C does not hold, then either A does not hold or D does hold.

ＣがFalseとなっていても、Ｂが成り立てばそれはＡが成り立たねばなりません。
Ｄに至ってはＸという未知の要素があるのでＣの真偽からは何も言えません。
   Answer: False


>   (6)  : If C hold despite that D does not hold, then B does not hold.

Ｃが成立することは、Ｂが成立することをいささかも妨げません。
   Answer: False


>   (7)  : If either A or B holds, then D does not hold.
Ｂが成立することはＡが成立することです。したがって式２よりＤは成立しません。
   Answer: True


>   (8)  : [If B holds, then so does A] or [If B does not hold, neither does D].

前半の[If B holds, then so does A]がTrueなので、
   Answer: True


>   (9)  : [If A holds, then so does D] or [If D holds, then so does A].

[If A holds, then so does D]は式２よりFalseです。
[If D holds, then so does A]は式２よりFalseです。
   Answer: False


>　(10)  : If A holds despite that B does not hold, then either C or D does not hold.

Ａが成立すれば、式２より"D does not hold"が常に成立しているのです。
   Answer: True



----------------------------------------------------------------------------------
【回答例Ｂ】（ＡとＤはお互いにまったく無関係な命題）
----------------------------------------------------------------------------------
すると以下のような式が導けます。

B + C =  A　　    -------------式３
B + C = !D        -------------式４




> 
> [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