Quadrado de oposição , na lógica tradicional, um diagrama exibindo quatro formas de uma proposição categórica ( qv ), ou declaração, com o mesmo sujeito e predicado, juntamente com suas relações de pares:
em que A, E, I e O são das formas “Todo S é P ” , “Nenhum S é P ” , “Algum S é P ” e “Algum S não é P. ” Como mostrado no quadrado, “Todo cisne é branco” é o contrário de “Nenhum cisne é branco” e a contradição de “Alguns cisnes não são brancos”. As conclusões tiradas de uma dessas formas para outra (como na subalternação) são consideradas obtidas por inferência imediata.