
No.1ベストアンサー
- 回答日時:
「B でない」はそのまま「結論の部分だけを否定する」です. 「A⇒B」全体を否定するわけじゃないです.
と書いておくけど, これはどちらかというと「背理法」よりも「対偶証明」だなぁ.
「背理法」で「A⇒B」が真であることを示すなら
A と「B の否定」を仮定して, 矛盾が生じることを示す
というのが普通の作戦.
対偶証明は「元の条件命題とその対偶の真理値が一致する」つまり
「A⇒B」が真であるとき, そしてその時に限り「『B の否定』⇒『A の否定』」も真
ということを利用して, 前者の代わりに後者を証明しようというもの.
もちろん「『B の否定』⇒『A の否定』」が証明できるならそれと A を組み合わせることで背理法に持っていけるけど, それよりは「対偶だから」ってやる方がシンプルだと思う.

No.5
- 回答日時:
排中律(二重否定除去)がその理由ですが具体的に考えたほうが分かりやすいと思います
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
「逆は必ずしも真ならず」の証...
-
どなたか転換法について教えて...
-
n=3の倍数ならば、n=6の倍数で...
-
ウェイソン選択課題について悩...
-
強い仮定、弱い仮定、とは
-
矛盾と両立
-
加藤文元さんは自身のゴールド...
-
アキレスは亀を追い越せること...
-
命題論理に関する英単語
-
a,bは互いに素な正の整数とする。
-
xy=0ならばx=0またはy=0 の対偶...
-
形式主義について
-
数学 「「A⇒B」が真であること...
-
命題「PならばQ」でPが偽ならば...
-
数学 x,yは実数とする。「xy+1=...
-
a>0、b>0⇔a+b>0、ab>0
-
数学B漸化式です。 a1=1/5, an+...
-
背理法と対偶証明の違いについて
-
何時間 何分 何秒を記号で表...
-
数学の問題で丸に真ん中に線が...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
数学の背理法について質問です...
-
命題「PならばQ」でPが偽ならば...
-
a>0、b>0⇔a+b>0、ab>0
-
n=3の倍数ならば、n=6の倍数で...
-
a,bが有理数のとき、a+b√2=0 な...
-
命題論理に関する英単語
-
nは自然数 n^2と2n+1は互いに素...
-
カントールの対角線論法につい...
-
背理法について
-
高校数学です!m,nを整数とする...
-
有界でないについて
-
強い仮定、弱い仮定、とは
-
対偶法も背理法の一種という考...
-
有理数を文字置き→互いに素な整...
-
ウェイソン選択課題について悩...
-
a,bが有理数として√6が無理数を...
-
背理法
-
数学B漸化式です。 a1=1/5, an+...
-
アリバイの理論について
-
意味あるいは実体がないという...
おすすめ情報