否定導入

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