Cuadrado de oposición , en lógica tradicional, un diagrama que exhibe cuatro formas de una proposición categórica ( qv ), o enunciado, con el mismo sujeto y predicado, junto con sus relaciones por pares:
en el que A, E, I y O son de las formas “Cada S es P ” , “No S es P ” , “Alguna S es P ” y “Alguna S no es P. ” Como se muestra en el cuadrado, "Todo cisne es blanco" es lo contrario de "Ningún cisne es blanco" y lo contradictorio de "Algunos cisnes no son blancos". Se dice que las conclusiones extraídas de una de estas formas a otra (como en la subalternación) se obtienen por inferencia inmediata.
