Praça de oposição

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:

Praça de oposição

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.