1. NIVELAMENTO
1.1 Linguagem de Conjuntos (Proposições categóricas)
Videoaula 1, Videoaula 2, Texto 1, Texto 2, Lista de Exercícios e Avaliação
1.2 Associações Lógicas
1.3 Ordenação Lógica
2. CÁLCULO PROPOSICIONAL
2.1 Introdução ao Cálculo Proposicional – Proposições Lógicas e Conectivos
Videoaula 1, Videoaula 2, Texto, Lista de Exercícios e Avaliação
2.2 Negação, Conjunção, Disjunção, Disjunção exclusiva, Condicional, Bicondicional e Formalização
Videoaula 1 Videoaula 2, Videoaula 3, Texto, Lista de Exercícios e Avaliação
2.3 Tabela-Verdade
Videoaula 1, Videoaula 2, Videoaula 3, Videoaula 4, Texto 1, Texto 2, Lista de Exercícios 1, Lista de Exercícios 2, e Lista de Exercícios 3
2.4 Classificação das Proposições – Tautologia, Contradição e Contingência
Videoaula 1, Videoaula 2, Texto 1, Texto 2, Lista de Exercícios 1, Lista de Exercícios 2 e Lista de Exercícios 3
2.5 Tautologias: Implicação, Equivalência e Propriedades
2.6 Argumento: premissas e conclusão
3. Consequência Lógica ou Dedução Formal
3.1 Prova da validade de um argumento por meio de tabelas-verdade
3.2 Prova Direta da validade de um argumento (por meio de implicações e equivalências tautológicas)
3.3 Prova Direta da validade de um argumento – Teorema da Dedução
3.4 Prova Indireta da validade de um argumento (Redução ao Absurdo)
3.5 Prova da Invalidade de um Argumento
4. CÁLCULO DE PREDICADOS
4.1 Introdução ao Cálculo de Predicados
4.2 Funções Proposicionais e Quantificadores
4.3 Equivalência entre os Quantificadores
4.4 Validade de Argumentos com Quantificadores
Texto e Lista de Exercícios
