背理法と対偶って違うの？ (117ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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)
省3
75: 2024/11/30(土)08:24 ID:9Sqq12HI(2/6) AAS
>>69-73
ご苦労さまですｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.007s