Moin. Gibt es ein Fachwort für das Gegenteil von eiener Tautologie?

Also (A und nicht-A).
FGI ist schon eine Weile her bei mir und ich kann mich beim besten Willen nicht daran erinnern, ob es einfach keinen Term dafür gab oder ob ich nur nicht darauf komme. Google liefert mir keine Antwort darauf - Oxymoron ist doch eher ein Begriff aus der Literatur und findet in der Logik keine Anwendung, oder?

Versuchs mal mit Kontradiktion

Dankeschön :D.