Tipos de Proposições Categóricas
As proposições categóricas dividem-se segundo duas características principais: a qualidade (afirmativas ou negativas) e a quantidade (universais ou particulares). Esta classificação resulta em quatro tipos básicos:
Tipo A (Universal afirmativa): "Todos os S são P"
Exemplo: Todos os cães são fiéis.
Tipo E (Universal negativa): "Nenhum S é P"
Exemplo: Nenhum cão é fiel.
Tipo I (Particular afirmativa): "Alguns S são P"
Exemplo: Alguns cães são fiéis.
Tipo O (Particular negativa): "Alguns S não são P"
Exemplo: Alguns cães não são fiéis.
Estas quatro formas relacionam-se entre si no chamado Quadrado da Oposição, onde temos relações de contrariedade (entre A e E), subcontrariedade (entre I e O), subalternação (de A para I e de E para O) e contradição (entre A e O, e entre E e I).
🎮 Pensa no Quadrado da Oposição como um jogo de xadrez lógico: cada movimento numa proposição tem consequências para as outras!
Compreender estas relações é essencial para avaliar a verdade ou falsidade das proposições e construir argumentos válidos.