in der formalen Logik zwei Aussagen, die jeweils äquivalent zur Negation der anderen sind. In der Syllogistik können zwei kontradiktorische Aussagen nicht beide zugleich falsch oder zugleich wahr sein; aus der Wahrheit der einen Aussage lässt sich die Falschheit der anderen folgern. Im logischen Quadrat sind die Aussagen auf den beiden