Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Inferencia inmediata entre enunciados categóricos que permite obtener un enunciado equivalente cambiando la cualidad del enunciado y negando el predicado. Todas las obversiones son enunciados equivalentes a los originales.
Así, la obversa de «Todos los diputados son elegidos» es «Ningún diputado no es elegido»; la de «Ningún senador es vitalicio» es «Todos los senadores no son vitalicios»; la de «Algún diputado es comprensible» es «Algún diputado no es incomprensible», y la de «Algunos diputados no son casados», es «Algunos diputados son no-casados».