O documento discute proposições categóricas, que afirmam ou negam a inclusão total ou parcial de uma classe em outra. Existem quatro tipos: universal afirmativa, universal negativa, particular afirmativa e particular negativa. Essas proposições são analisadas considerando qualidade, quantidade e distribuição. Inferências imediatas ocorrem quando duas proposições categóricas se referem às mesmas classes. Proposições universais são contrárias e particulares são subcontrárias.

1. PROPOSIÇÕES CATEGÓRICAS
As proposições categóricas afirmam algo sobre duas classes incluindo ou
excluindo , total ou parcialmente uma classe da outra.
Existem quatro espécies de proposições desta natureza:
A) A que enuncia a inclusão total de uma classe em outra, conhecida como
UNIVERSAL AFIRMATIVA e representada pela letra “A” Ex: “todo X é Y”.
B) A que enuncia a exclusão total de uma classe em outra, conhecida como
UNIVERSAL NEGATIVA e representada pela letra “E” Ex:”nenhum X é Y”.
C) A que enuncia a inclusão parcial de uma classe em outra, conhecida como
PARTICULAR AFIRMATIVA e representada pela letra “I” Ex: “algum X é Y”;e
D) A que enuncia a exclusão parcial de uma classe em outra, conhecida como
PARTICULAR NEGATIVA representada pela letra “O” Ex:”algum X não é Y”
A classe de que se enuncia a inclusão ou exclusão parcial ou total é
denominada TERMO SUJEITO e é referida pela letra “S”, ou seja, é o sujeito
da proposição a quem ou o que se atribui ou exclui uma afirmação ou
negação.
Já a classe em que se afirma a inclusão ou a exclusão é denominada TERMO
PREDICADO que é representado pela letra “P”, ou seja , é o predicado da
proposição.
EXEMPLOS
Todo S é P .............................................................. proposição categórica A
Nenhum S é P......................................................... proposição categórica E
Algum S é P ............................................................ proposição categórica I
Algum S não é P ..................................................... proposição categórica O
Sobre as proposições categóricas é necessário rever mais três conceitos ,
sendo eles :
a) Qualidade:Esta relacionada com a afirmação ou negação da inclusão
enunciada (afirmativas e negativas”A,I ou E,O”);

2. b) Quantidade:Esta relacionada à amplitude da inclusão ou exclusão
enunciada (universais ou particulares”A,E ou I,O”)
c) Distribuição:Considera-se que a proposição distribui um certo termo (P ou
S)quando veicula informações pertinente a todos os membros da classe
referida por esse termo.
IINFERÊNCIAS IMEDIATAS
O argumento com duas proposições categóricas referentes às mesmas
classes é chamado de INFERÊNCIA IMEDIATA.Configura-se Hipótese em que
uma proposição categórica é premissa suficiente para a conclusão veiculada
em outra proposição.
As PROPOSIÇÕES UNIVERSAIS (A e E) são consideradas contrárias porque
ambas podem ser falsas , mas não podem ser verdadeiras , simultaneamente.
As PROPOSIÇÕES PARTICULARES (I e O)são definidas como subcontrárias
porque ambas podem ser verdadeiras , mas não podem ser falsas
simultaneamente.
*Observação:A relação entre a universal e a particular da mesma qualidade é
denominada subalternidade.A universal afirmativa é superalterna da
particular afirmativa e esta é subalterna daquela.Similarmente, a universal
negativa é superalterna da particular negativa e esta é subalterna
daquela.Pois bem , da veracidade da superalterna decorre da veracidade da
subalterna; e da falsidade da subalterna deriva a falsidade da superalterna.
Por fim, a relação de contraditoriedade , pertinente à universal e a particular
de qualidades diferentes. Se uma proposição é verdadeira , a sua
contraditória será falsa e vice-versa. Há contraditoriedade se a veracidade de
uma proposição implica a falsidade de outra , e se a sua falsidade implica a
veracidade de outra.