Este documento presenta un cuadro de oposición que muestra las relaciones lógicas entre cuatro tipos de juicios categóricos (A, E, I, O). Explica que los juicios A y O son contradictorios, mientras que A e I, e I y O son subcontrarios. También muestra cómo los valores de verdad de los diferentes juicios están relacionados y cómo se pueden hacer inferencias basadas en estas relaciones.