Carré d'opposition , en logique traditionnelle, un diagramme présentant quatre formes d'une proposition catégorielle ( qv ), ou énoncé, avec le même sujet et prédicat, ainsi que leurs relations par paires:
dans laquelle A, E, I et O sont des formes «Chaque S est P », «Aucun S est P », «Certains S sont P » et «Certains S ne sont pas P. » Comme indiqué sur le carré «Chaque cygne est blanc» est le contraire de «Aucun cygne n'est blanc» et le contradictoire de «Certains cygnes ne sont pas blancs». On dit que les conclusions tirées d'une de ces formes à une autre (comme dans la subalternation) sont obtenues par inférence immédiate.
