否定導入

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