Zusammenfassung der Ressource
Lógica Matemática
- Lógica Classica
- Lógica Proposicional (Calculo
Sentencial ou Calculo de
Enunciados)
- Lógica de Predicado
(Calculo de Predicados ou
de Quantificadores)
- Consequência entre
premissas e conclusão é a
essência da lógica
- Princípios
Anmerkungen:
- Bivalência
Identidade
Não Contradição
Terceiro Excluído
- Não Contradição
- Identidade
- Terceiro Excluído
- Bivalência