En lógica tradicional, la obversión es un "tipo de inferencia inmediata en la cual a partir de una proposición dada se infiere otra proposición cuyo tema es el mismo que el sujeto original y cuyo predicado es contradictorio al predicado original, y cuya calidad es afirmativa si la calidad de la proposición original fuese negativa y viceversa".