MATEMÁTICA - Lógica Matemática

[wagners32]

• [ ] Lógica Proposicional e de Predicados.
• [ ] Linguagem Proposicional e de Primeira Ordem.
• [ ] Sistemas Dedutivos.
• [ ] Tabelas Verdade e Estruturas de Primeira Ordem.
• [ ] Relações de Consequência.
• [ ] Corretude.
• [ ] Completude.
• [ ] Compacidade.
• [ ] Lowemhein-Skolem.
• [ ] Decidibilidade.
• [ ] Prova Automática de Teoremas.
• [ ] Lógicas não clássicas.