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 contrarios no 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.
El enunciado «Todos los estudiantes son aplicados» puede ser verdadero; si lo es, ha de ser falso que «Ningún estudiante es aplicado». Lo más probable es, sin embargo, que «Todos los estudiantes son aplicados» sea un enunciado falso; en este supuesto también puede ser falso, afortunadamente, el enunciado «Ningún estudiante es aplicado».