O Quadrado da Oposição
O quadrado da oposição é uma ferramenta visual que mostra quatro relações lógicas fundamentais entre proposições: contraditoriedade, contrariedade, subcontrariedade e subalternidade. Cada relação tem regras específicas sobre valores de verdade.
Na contraditoriedade, duas proposições não podem ter o mesmo valor de verdade - se uma é verdadeira, a outra é necessariamente falsa. Estas proposições são a negação direta uma da outra. Já na contrariedade, as proposições não podem ser ambas verdadeiras, mas podem ser ambas falsas.
A subcontrariedade é o oposto da contrariedade - as proposições não podem ser ambas falsas, mas podem ser ambas verdadeiras. Por último, a subalternidade relaciona proposições universais com as suas correspondentes particulares.
🔍 A lógica proposicional vai além do quadrado da oposição, estudando proposições formadas através de conectivas como "não", "e", "ou", "então" e "se e somente se". Estes conectores permitem construir argumentos mais complexos.