Gegensatz (Logik)

ein bestimmtes Verhältnis zweier Aussagen oder Begriffe. Man unterscheidet den kontradiktorischen und den konträren Gegensatz. In der formalen Logik sind zwei Aussagen kontradiktorisch, wenn die eine äquivalent zur Negation der anderen ist. Also können kontradiktorische Aussagen nicht beide zugleich falsch sein. Beispiel: »Fliegenpilze sind essbar« und »Fliegenpilze sind