数学とか B∨¬A⇔A→Bの証明 B∨¬A⇔A→BB∨¬A→(A→B)の証明から証明1.(仮定)2.(仮定)3.(B∨¬A)∧A(∧導入)4.B(選言三段論法)5.A→B(→導入)6.(B)∨¬A→(A→B)(→導入)選言的三段論法は定理です。詳しい証明はリンクから。次は(... 2023.07.16 数学とか
数学とか 矛盾と否定の認識 恒偽式は矛盾とも呼ばれ、恒真式の対義語です。矛盾と否定矛盾恒真式（こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来）とは論理学の用語で、「aならば aである (a → a) 」「aである、または、a... 2023.04.13 数学とか
数学とか