En la lógica tradicional , la obversión es un "tipo de inferencia inmediata en la que a partir de una proposición dada se infiere otra proposición cuyo sujeto es el mismo que el sujeto original, cuyo predicado es el contradictorio del predicado original y cuya cualidad es afirmativa si la cualidad de la proposición original era negativa y viceversa". [1] La cualidad de la proposición categórica inferida cambia pero el valor de verdad es el mismo que el de la proposición original. La proposición inmediatamente inferida se denomina "anverso" de la proposición original y es una forma válida de inferencia para todos los tipos (A, E, I, O) de proposiciones categóricas.
En una proposición universal afirmativa y en una proposición universal negativa, el término sujeto y el término predicado se sustituyen por sus contrapartes negadas :
La afirmación universal (proposición "A") se convierte en una negativa universal (proposición "E").
La proposición universal negativa (proposición "E") se convierte en una proposición universal afirmativa (proposición "A").
En la proposición afirmativa particular la cantidad del término sujeto permanece invariable, pero el término predicado de la proposición inferida niega el complemento del término predicado de la proposición original. La proposición afirmativa particular (proposición "I") se convierte en una proposición negativa particular (proposición "O").
En la obversión de una determinada negación en una determinada afirmativa, la cantidad del sujeto también permanece inalterada y el término predicado pasa de ser una simple negación a un término de la clase complementaria. La proposición negativa particular ("O") se obvierte en una proposición afirmativa particular ("I").
Obsérvese que el valor de verdad de un enunciado original se conserva en su forma inversa resultante. Por ello, la obversión puede utilizarse para determinar las inferencias inmediatas de todas las proposiciones categóricas, independientemente de su calidad o cantidad.
Además, la obversión nos permite navegar a través del tradicional cuadrado de oposición lógica al proporcionar un medio para pasar de las proposiciones "A" a las proposiciones "E", así como de las proposiciones "I" a las proposiciones "O", y viceversa. Sin embargo, aunque las proposiciones resultantes de la obversión son lógicamente equivalentes a los enunciados originales en términos de valor de verdad, no son semánticamente equivalentes a sus enunciados originales en su forma estándar.