É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.
Oposición que existe entre los enunciados categóricos de tipo A y los de tipo E, esto es, entre los universales afirmativos y los universales negativos. Los enunciados contrariosno pueden ser ambos verdaderos al mismo tiempo (si uno es verdadero, el otro ha de ser falso), pero pueden ser ambos falsos a un tiempo (ver ejemplo).