Logica

Disponível somente no TrabalhosFeitos
  • Páginas : 2 (307 palavras )
  • Download(s) : 0
  • Publicado : 11 de março de 2013
Ler documento completo
Amostra do texto
a) Dedução por oposição
i regra dos contraditórios
V→F
F→V

ii regras das subalternas
diferem pela quantidade
1 Se a universal á verdadeira, a particularcorrespondente é 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 é falsaiii 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 (verdadeiraou 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 Econverteu-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 porObversã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: AlgunsS 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 |
tracking img