P Observação:

No âmbito da relação de subalternidade,

verificada entre as proposições de tipo A
e I, por um lado, e E e O, por outro, A
implica I e E implica O, mas o contrário
não se verifica. Daí a seta apresentar
apenas um sentido.

Informação
P complementar:
Inferir por oposição consiste em tirar de
uma proposição outras proposições,
alterando a quantidade e/ou a qualidade,
e em concluir imediatamente, a partir da
verdade ou falsidade da proposição inicial,
a verdade ou falsidade daquelas que se
obtêm. Segue-se uma síntese das regras da
oposição:
a) Regra das contraditórias: duas
proposições contraditórias não podem ser
verdadeiras nem falsas ao mesmo tempo.
b) Regra das contrárias: duas proposições
contrárias não podem ser ambas
verdadeiras ao mesmo tempo. Mas da
falsidade de uma não se pode concluir a
falsidade ou veracidade da outra.
c) Regra das subcontrárias: duas
proposições subcontrárias não podem ser
ambas falsas ao mesmo tempo, mas
podem ser ambas verdadeiras.
d) Regra das subalternas: da verdade da
universal infere-se a verdade da particular
que lhe está subordinada; da verdade da
particular nada se pode concluir quanto à
universal; da falsidade da universal nada se
pode concluir relativamente à verdade ou
falsidade da particular; da falsidade da
particular infere-se a falsidade da universal.
As inferências por conversão consistem
em inverter a posição dos termos,
obtendo-se uma nova proposição que é
inferida da primeira e que exprime a
mesma verdade. À proposição que resulta
da conversão chama-se «proposição