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.