Aprendemos algumas noções de lógica formal que nos ajudarão a compreender o Teoremas e Proposições que iremos ver durante o curso.
- LÓGICA FORMAL PARA ENTENDER OS TEOREMAS E SUAS DEMONSTRAÇÕES ( Download)
- LÓGICA: PROPOSIÇÕES, VALOR LÓGICO, PRINCÍPIOS LÓGICOS E NEGAÇÃO ( Download)
- Teoremas da incompletude de Gödel - introdução (parte 1) ( Download)
- LÓGICA: EQUIVALÊNCIAS LÓGICAS ( Download)
- Os teoremas da incompletude de Gödel (3/) ( Download)
- INCOMPLETUDE DE GÖDEL: a Matemática NÃO é Perfeita ( Download)
- LÓGICA: CONECTIVOS LÓGICOS ( Download)
- 🧠 EQUIVALÊNCIAS LÓGICAS E NEGAÇÃO DE PROPOSIÇÃO COMPOSTA | Curso de RLM | Aula 09 ( Download)
- MD 1 - Aula 06 - Argumentos Lógicos / Axiomas na Matemática - 2020.2 ( Download)
- Um método sintático de prova na Lógica Proposicional. Demonstração do teorema da completude 1. ( Download)
- [MD] Aula 05a: Demonstração de Teoremas (1/5) ( Download)
- Significado de Axioma, Definição, Proposição, Lema, Teorema e Corolário. ( Download)
- O Jeito Certo de Aprender Equivalências Lógicas. ( Download)
- Lógica proposicional [8] - Dedução natural (método direto) (1/3) ( Download)
- Teoremas de Gödel ( Download)
