
No.1ベストアンサー
- 回答日時:
例題
実数a,bについて
「a+b>0」ならば「a>0かつb>0」という命題について
「a+b>0」を条件p,「a>0かつb>0」を条件qとすると
pの否定がa+b≦0です
qの否定はa≦0またはb≦0ですよね
このように否定というのは 条件個々の否定のことなのです
つぎに
a+b≦0ならばa≦0またはb≦0
つまり
「Pの否定」ならば「qの否定」
というように否定の条件を(順番をそのままで)並べたものが 命題の裏です
否定は条件個々を否定するだけ
裏は 個々の条件を否定してさらに並べる
この違いです
No.3
- 回答日時:
命題の中で (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 を使いました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
関連するカテゴリからQ&Aを探す
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
証明の終わりは、「よって題意...
-
rotF=0⇒Fは保存力の証明
-
中2です笑 証明の問題がどうし...
-
認定書と証明書の違い
-
a,b,cを整数とする。 a^2+b^2=c...
-
計算式について教えてください。
-
整数m,nについて 「m2乗+n...
-
数IIの問題です (1+x)^n(x+1)^n...
-
物理学を学ぶにあたっての数学...
-
validation cohort develpmen...
-
キノの旅「・・・・あなたが正...
-
証明書の開封無効
-
遂に、円周率が割りきれたので...
-
lim(an-bn)=0 lim an=α ならば ...
-
徒然草
-
【腰が低くて穏やかで無害っぽ...
-
時空乱流って本当にありますか?
-
社会人仮説と経済人仮説の相違...
-
二項定理を用いて、つぎのこと...
-
A^2-A+E=0をみたす正方行列Aは...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
証明の終わりは、「よって題意...
-
計算式について教えてください。
-
中2です笑 証明の問題がどうし...
-
ミラー指数:面間隔bを求める公...
-
二項定理を用いて、つぎのこと...
-
認定書と証明書の違い
-
証明書の開封無効
-
a>b>0 c>d>0 ac>bdの証明のや...
-
a,b,cを整数とする。 a^2+b^2=c...
-
エルミート演算子について
-
関係と関係性の違いって何ですか?
-
lim(an-bn)=0 lim an=α ならば ...
-
微分の可能性の問題 f(x)=xsin...
-
ブール代数について教えてください
-
validation cohort develpmen...
-
平行四辺形ABCDにおいて、辺BC...
-
環論、部分k代数について
-
社会人仮説と経済人仮説の相違...
-
数学の逆裏対偶の、「裏」と、...
-
英文書類(Acknowledgment)の翻訳
おすすめ情報