Logica
V→F
F→V
ii regras das subalternas diferem pela quantidade
1 Se a universal á verdadeira, a particular correspondente é verdadeira
2 Se a universal é falsa, não podemos concluir nada quanto à verdade ou falsidade da particular correspondente.
3 Se a particular é verdadeira, não podemos concluir nada quanto à verdade ou falsidade da universal correspondente.
4 Se a particular é falsa, a universal correspondente é falsa
iii regras das contrárias
1 Se A é verdadeira, então E é falsa.
2 Se E é verdadeira, então A é falsa.
3 Se A é falsa, ñ há conclusão para E (verdadeira ou falsa).
4 Se E é falsa, ñ há conclusão para A (verdadeira ou falsa).
iv regras das subcontrárias
1 Se I é verdadeira, então ñ há conclusão para O.
2 Se I é falso, então O é verdadeiro.
3 Se O é verdadeira, então ñ há conclusão para I.
4 Se O é falsa, então I é verdadeira.
b) Dedução por conversão
1 E converteu-se em E conversões simples
2 I converteu-se em I
3 A converteu-se em I conversão por acidente
4 O ñ se converteu
c) Dedução por Obversão Tabela de Obversões | Original | Obversão | A: Todo S é P | E: Nenhum S é não-P | E: Nenhum S é P | A: Todo S é não-P | I: Alguns S são P | O: Alguns S não são não-P | O: Alguns S não são P | I: Alguns S são não-P |
d) Dedução por Contraposição Tabela de contraposições | Original | Contraposição | A: Todo S é P | A: Todo não-P é não-S | E: Nenhum S é P | E: Algum não-P não é não-S (por limitação) | O: Algum S não é P | O: Algum não-P não é não-S