Gegensatz
(Oppositio) findet in der Logik zwischen Sätzen statt, wenn dieselben zwar beide unwahr, aber nicht beide zugleich wahr sein können;
zwischen Begriffen dagegen, wenn sie sich weder miteinander zu einem Begriff noch in einem dritten Begriff als dessen Merkmale vereinigen lassen.
Der Gegensatz
ist kontradiktorisch, wenn nicht nur die
Wahrheit
des einen Teils den andern falsch, sondern auch die
Falschheit des einen den andern wahr macht;
konträr, wenn dagegen nur das erstere der Fall ist.