Obversion

Opération logique d'inférence immédiate qui change la qualité d'une proposition (affirmative en négative ou inversement) et remplace le prédicat par son contradictoire, en conservant la même valeur de vérité.