É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 (ver ejemplo).