5:45
Lógica Formal: Motivação e Breve História
Hemerson Pistori
19:13
Argumentos válidos e corretos
20:22
Tabela-verdade
24:25
Provando diretamente que um argumento é válido
15:53
Contradição e Prova por Absurdo
14:03
Redes Semânticas
14:58
Lógica de Predicados
12:44
Regra de Inferência e Prova por Resolução
