数学の逆裏対偶の、「裏」と、「否定」を記せという問題の違いがわかりません。教えて下さい。よろしくお願

数学の逆裏対偶の、「裏」と、「否定」を記せという問題の違いがわかりません。教えて下さい。よろしくお願い致します。

No.1 ベストアンサー 回答者： masterkoto 回答日時： 2020/08/11 16:02

例題

実数a,bについて
「a+b>0」ならば「a>0かつb>0」という命題について
「a+b>0」を条件p,「a>0かつb>0」を条件qとすると
ｐの否定がa+b≦０です
ｑの否定はa≦0またはb≦０ですよね
このように否定というのは　条件個々の否定のことなのです

つぎに
a+b≦０ならばa≦0またはb≦０
つまり
「Pの否定」ならば「ｑの否定」
というように否定の条件を（順番をそのままで）並べたものが　命題の裏です

否定は条件個々を否定するだけ
裏は　個々の条件を否定してさらに並べる
この違いです

この回答へのお礼

なるほど！！！！とてもご丁寧にありがとうございました！！！！理解できました！！！

お礼日時：2020/08/13 23:22

No.3 回答者： ありものがたり 回答日時： 2020/08/11 19:18

命題の中で (P ならば Q) という形をしたものについて、

(Q ならば P) を逆、
(notP ならば notQ) を裏、
(notQ ならば notP) を対偶といいます。
これは、単にそう呼ぶという定義だから、特に理由とかありません。
これを適用して、

(P ならば Q) の逆の裏は、(Q ならば P) の裏で、(notQ ならば notP).
すなわち、もとの (P ならば Q) の対偶です。
(P ならば Q) の裏の裏は、(notP ならば notQ) の裏で、(not notP ならば not notQ).
すなわち、もとの (P ならば Q) 自身です。
(P ならば Q) の対偶の裏は、(notQ ならば notP) の裏で、(not notQ ならば not notP).
すなわち、もとの (P ならば Q) の逆 (Q ならば P) です。
二重否定は、not notP ⇔ P ですからね。

否定については、(P ならば Q) ⇔ (not P または Q) を使うといいでしょう。
(P ならば Q) 逆の否定は、(Q ならば P) すなわち (notQ または P) の否定で、
not(notQ または P) ⇔ (not notQ かつ notP) ⇔ (notP かつ Q) です。
(P ならば Q) 裏の否定は、(notP ならば notQ) すなわち (not notP または notQ) の否定で、
not(not notP または notQ) ⇔ (not not notP かつ not notQ) ⇔ (notP かつ Q) です。
(P ならば Q) 対偶の否定は、(notQ ならば notP) すなわち (not notQ または notP) の否定で、
not(not notQ または notP) ⇔ (not not notQ かつ not notP) ⇔ (P かつ notQ) です。
後半の計算では、ド・モルガンの定理 not(P または Q) = notP かつ notQ を使いました。

No.2 回答者： masterkoto 回答日時： 2020/08/11 16:10

#1です　暑さから的外れな回答になってしまいました

頭が冷えたら再度回答いたします