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

---

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

---

72(1): 2024/11/30(土)08:14 ID:C4igDd/w(4/5) AAS
直観主義論理における法則
直観主義論理においてはド・モルガンの法則は必ずしも成り立たない。
しかし、直観主義論理においても以下は証明可能である。
¬(A∨B)⇔¬A∧¬B
¬A∨¬B⇒¬(A∧B)
¬∃xF(x)⇔∀x¬F(x)
∃x¬F(x)⇒¬∀xF(x)

※直観主義論理では以下は一般に言えない
¬(A∧B)⇒¬A∨¬B
¬∀xF(x)⇒∃x¬F(x)

---

75: 2024/11/30(土)08:24 ID:9Sqq12HI(2/6) AAS
>>69-73
ご苦労さまですｗ

---

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

---

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

---

ぬこの手 ぬこTOP 0.707s*