
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ランキング
-
証明の終わりは、「よって題意...
-
計算式について教えてください。
-
中2です笑 証明の問題がどうし...
-
a>b>0 c>d>0 ac>bdの証明のや...
-
エルミート演算子について
-
認定書と証明書の違い
-
ミラー指数:面間隔bを求める公...
-
「あなたが神の存在を信じると...
-
正の実数a,b,cに対して、不等式...
-
運動方程式ma=Fは証明できますか?
-
二項定理を用いて、つぎのこと...
-
√(平方根)は身の回りでどのよう...
-
a,b,cを整数とする。 a^2+b^2=c...
-
連続関数は関数記号と極限記号...
-
払込金保管証明について
-
電力について
-
ハザード防止回路でハザードが...
-
271 「nは自然数とする。n, n+2...
-
月の満ち欠けで性欲が湧くとい...
-
(命題) 三角形の内角のうち少...
マンスリーランキングこのカテゴリの人気マンスリー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)の翻訳
おすすめ情報