NO.10387135

0 名前：シェルティー：2013/09/15 02:00

青い帽子の人はAでない。

解説ではこれは 青い帽子の人≠A であり
これを否定すると 青い帽子の人=Aである と書いてありました。


しかし、論理式で考えると 青い帽子の人→A￣(Aバー)
これを否定すると 青い帽子の人￣(バー)→A となり

イコールで考えた時と答えが違うように思えるのですが、なにか間違えているところがあれば教えてください。

1 名前：匿名さん：2014/01/14 12:21

貴方の文中のしかし、論理式で～で記述されているのは、後者が前者の裏であることになります。
命題の裏と逆は、必ずしも元の命題と真偽が一致しません。
対偶は真偽が一致します。
たとえばAであるなら青い帽子の人ではない、というのは冒頭の命題が真ならば真ということになります。