Please enable JavaScript.
Coggle requires JavaScript to display documents.
SISTEMA DEDUTIVO (Regras de Inferência (Modus Ponens, Modus Tollens,…
SISTEMA DEDUTIVO
Regras de Inferência
Modus Ponens
Modus Tollens
Silogismo Hipotético
Silogismo Disjunto
Adição
Simplificação
Conjunção
Resolução
Como Resolver ?
2- Separar pelo conectivo ^
3- Numerar
1-
Definir o que é premissa e o que é conclusão.
4- Escrever as hipóteses
Axiomas
Se as premissas são verdadeiras a conclusão também é verdadeira.
Martelo Sintático
Martelo Semântico
