20/07/02 02:09:59 .net
194 132人目の素数さん sage 2020/05/29(金) 18:08:59.56 ID:exRuj6v4
>>185
>>192
有難うございます。
対偶のとり方を間違えていました。
>>192さんに書いていただいたことは理解できたと思います。
ということは、>>182の
命題「Pである⇒Qである」から裏命題「Pでない⇒Qでない」は導けない
は 真 であるということですよね?
他のスレの論争を見ていて、
(1)命題からその裏の命題は導けない
という主張に
(2)命題からその裏の命題が必ず導けるとは限らない(導かれないこともある)
の方が正しいという理由で(1)は間違いであると主張している人を見かけて気になっているのですが、
(1)が正しいと考えてよいでしょうか?