contrárias

Contrárias é a forma feminina plural de contrária em português, usada tanto como adjetivo quanto para designar um conjunto de proposições opostas em um sistema lógico. No contexto lógico, contrárias são um par de enunciados universais que não podem ser verdadeiros ao mesmo tempo, mas podem ser falsos ao mesmo tempo. Esse relacionamento é estudado no quadrado de oposição da lógica aristotélica, onde as proposições A (universal afirmativa) e E (universal negativa) são contrárias entre si. Um exemplo clássico é: “Todo S é P” e “Nenhum S é P”. Se avaliados quanto à verdade, pode ocorrer que ambos sejam falsos (há S que são P e há S que não são P), mas não é possível que ambos sejam verdadeiros simultaneamente.

Essa relação difere de outras relações lógicas, como contradições e subcontrárias. Contradições ocorrem entre uma proposição e a sua negação direta (por exemplo, “Todo S é P” e “Alguns S não são P”), enquanto as subcontrárias (I e O) envolvem enunciados particulares e não podem ser ambas falsas, ainda que possam ser ambas verdadeiras.

Além do uso estritamente lógico, contrárias também aparece no discurso cotidiano para indicar posições opostas ou oposições entre argumentos. A palavra deriva do latim contrāria, plural de contrārius, indicando oposição ou o que está do outro lado.