kontradiktorische Aussagen (Logik)

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