15:23
What is Logic? (part 1) Introduction
11:46
O que é Lógica? (parte 2) Validade lógica
22:25
O que é Lógica? (parte 3) Tabelas de verdade
22:06
O que é Lógica? (parte 4) Estrutura proposicional da linguagem natural
14:58
O que é Lógica? (parte 5) Consequência lógica e tabela verdade
18:31
What is Logic? (part 6) Logical argument in natural language
26:46
O que é Lógica? (parte 7) - equivalencia logica proposicional
20:08
O que é Lógica? (parte 8) - sistemas dedutivos proposicionais
14:37
O que é Lógica? (parte 9) - Usando o sistema dedutivo
17:59
O que é Lógica? (parte 10) - Usando o sistema dedutivo - MAIS REGRAS
21:49
O que é Lógica? (parte 11) - Teorema da dedução e outros meta-teoremas
15:42
O que é Lógica? (parte 12) - teorema da correção e completude proposicional
15:41
O que é Lógica? (parte 13) - funções booleanas
20:39
O que é Lógica? (parte 14) - sistemas booleanamente completos
