否定除去

暇つぶしに見て

B∨¬A⇔A→Bの証明

B∨¬A⇔A→B B∨¬A→(A→B)の証明から 証明 1.(仮定)2.(仮定)3.(B∨¬A)∧A(∧導入)4.B(選言三段論法)5.A→B(→導入)6.(B)∨¬A→(A→B)(→導入) 選言的三段論法は定理です。詳しい証明はリンクから...
暇つぶしに見て

矛盾と否定の認識

恒偽式は矛盾とも呼ばれ、恒真式の対義語です。 矛盾と否定 矛盾 恒真式(こうしんしき、トートロジー、英: tautology、ギリシャ語のταυτο「同じ」に由来)とは論理学の用語で、「aならば aである (a → a) 」「aである、また...