[過去ﾛｸﾞ] 背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

85(3): 2024/12/08(日)23:49 ID:ynttxdFV(1) AAS
>>84
違うよ >>11より再録
Q 背理法と対偶って違うの？
A 違います
<説明>
・下記の進研ゼミ包含関係 ベン図 「図1より，「 p ⇒q 」が真である，ということは，P⊂Qであるということ」
・いま、否定記号 ¬p, ¬q , 補集合を P^-, Q^- とします
　対偶は、”「¬q→¬p」が真である，ということは，Q^- ⊂ P^-であるということ”となります
　つまり、補集合Q^- と P^-をとると 包含関係が逆向きで、 命題否定関係も矢印が 逆向きです（ここまでは高校範囲）
・では、背理法は？ (qの否定(¬q)) ・ p ⇒ 矛盾 （空集合Φ、 ”・”は積です）
省28

---

86: 2024/12/09(月)00:13 ID:b+51aIH5(1/7) AAS
>>85 補足

・今の話は、古典論理（下記）の中
・直観主義では、背理法は許容されない。
・なお対偶の一部 ”「AならばB」から「BでないならばAでない」は、直観主義論理においても導出可能である”
　が、”from ¬Q→¬P to P→Q, requires the law of the excluded middle or an equivalent axiom.”なので 証明法としての対偶証明はダメ（英文ご参照）

ja.wikipedia.org/wiki/%E5%8F%A4%E5%85%B8%E8%AB%96%E7%90%86
古典論理（こてんろんり、英: classical logic）は形式論理の部類で、最も研究され最も広く使われている論理である。標準論理（英: standard logic）とも呼ばれる[1][2]。

特徴
以下に示す性質が特徴である:[3]
1.排中律の採用及び、二重否定の除去;
省25

---

87(1): 2024/12/09(月)00:33 ID:6A2Om1Cc(1/9) AAS
>>85
ぷ
どちらからもどちらも導出できるのでほぼほぼ同じですよ

---

91(1): 2024/12/09(月)00:45 ID:6A2Om1Cc(5/9) AAS
>>85
ベン図のような特定の論理（古典論理）に縛られた思考法はやめるべきでしょうね

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.009s