Quantificador Universal - ∀
para todo
Quantificador Existencial - ∃
pelo menos 1
proposições categóricas
Proposições contrárias
São proposições universais que possuem qualidades distintas, isto é, todo par
afirmativo-negativo de proposições universais.
Todo marinheiro é pescador. [Forma A]
Todo marinheiro não é pescador. [Forma E
Proposições subcontrárias
: São proposições particulares que possuem qualidades distintas, isto é, todo
par afirmativo-negativo de proposições particulares.
Algum empresário é rico. [Forma I]
Algum empresário não é rico. [Forma O
Proposições subalternas
São proposições que, apesar de possuírem a mesma qualidade, diferem pela
quantidade.
A: Todo estudante é preparado.
I: Algum estudante é preparado.
E: Nenhum cachorro é feio
O: Algum cachorro não é feio.
Proposições contraditórias
São proposições que diferem, simultaneamente, em qualidade e
quantidade.
A: Todo animal é dócil.
O: Algum animal não é dócil.
E: Nenhum jogador é amigável.
I: Algum jogador é amigável.