Quadrato di opposizione , nella logica tradizionale, un diagramma che mostra quattro forme di una proposizione categorica ( qv ), o affermazione, con lo stesso soggetto e predicato, insieme alle loro relazioni a coppie:
in cui A, E, I e O hanno le forme "Ogni S è P " , "Nessuna S è P " , "Alcune S è P " e "Alcune S non sono P. " Come mostrato nel riquadro, "Ogni cigno è bianco" è il contrario di "Nessun cigno è bianco" e il contraddittorio di "Alcuni cigni non sono bianchi". Si dice che le conclusioni tratte da una di queste forme all'altra (come nella subalternazione) siano ottenute per inferenza immediata.
