En lógica tradicional , la obversión es un "tipo de inferencia inmediata en la que 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 el original la calidad de la propuesta era negativa y viceversa". [1] La calidad 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 universal negativa, el término sujeto y el término predicado son reemplazados por sus contrapartes negadas :
La afirmativa universal (proposición "A") se convierte en una negativa universal (proposición "E").
La negativa universal (proposición "E") se obvierte a una afirmativa universal (proposición "A").
En la afirmativa particular, la cantidad del término sujeto permanece sin cambios, pero el término predicado de la proposición inferida niega el complemento del término predicado de la proposición original. La afirmativa particular (proposición "I") se obvierte a una negativa particular (proposición "O").
En la obversión de una negativa particular a una afirmativa particular, la cantidad del sujeto también permanece sin cambios, y el término predicado cambia de una simple negación a un término de la clase complementaria. La proposición negativa particular ("O") se obvierte a una afirmativa particular (proposición "I").
Tenga en cuenta que el valor de verdad de una afirmación original se conserva en su forma anversa resultante. Debido a esto, la obversión se puede utilizar 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 cuadrado tradicional de la 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.