Prof. Cezar A. Mortari

Videoaulas de Lógica I

Tópico 1

  1. Introdução: o que é lógica? — arquivo único

  2. Sentenças, proposições, enunciados — arquivo único

  3. Identificando argumentos — arquivo único

  4. Validade e correção — parte 1 — parte 2 — parte 3

  5. Dedução e indução — parte 1 — parte 2

  6. Noções de história da lógica — parte 1 — parte 2 — parte 3

  7. Falácias informais — parte 1 — parte 2 — parte 3

Tópico 2

  1. Linguagens — parte 1 — parte 2

  2. Conjuntos — parte 1 — parte 2 — parte 3

  3. Propriedades, relações, funções — arquivo único

  4. Conjuntos infinitos — parte 1 — parte 2 — parte 3 — parte 4

Tópico 3

  1. Introdução ao Cálculo Proposicional Clássico (CPC) — arquivo único

  2. Sintaxe do CPC — parte 1 — parte 2 — parte 3 — parte 4

Tópico 4

  1. Semântica do CPC — parte 1 — parte 2

  2. Valorações — parte 1 — parte 2

  3. Tabelas de verdade — parte 1 — parte 2 — parte 3

  4. Tautologias, contradições, contingências — parte 1 — parte 2

  5. Consequência lógica — parte 1 — parte 2 — parte 3

  6. Equivalência lógica — arquivo único

  7. Um pouco de metalógica — parte 1 — parte 2

  8. Procedimentos de prova — parte 1 — parte 2

Tópico 5

  1. Sistemas axiomáticos — arquivo único

  2. Sistemas formais — parte 1 — parte 2

  3. Dedução natural – regras diretas — parte 1 — parte 2

  4. Dedução natural – regras hipotéticas — arquivo único

  5. Dedução natural – regras derivadas — arquivo único

  6. Dedução natural – teoremas — arquivo único

  7. Noções sintáticas e semânticas — arquivo único

Tópico 6

  1. Lógica clássica e não clássicas — arquivo único

  2. Terceiro excluído e fatalismo — arquivo único

  3. A lógica trivalente de Lukasiewicz (L3) — parte 1 — parte 2

  4. A lógica trivalente de Kleene (K3) — arquivo único

  5. Lógicas trivalentes de Bochvar (B3 e B3E) — arquivo único

  6. A lógica do paradoxo de Priest (LP) — arquivo único

  7. Outras lógicas polivalentes — arquivo único

  8. Lógicas complementares: ainda sem aulas gravadas, mas há uma palestra sobr lógicas modais (GELF/UFMA) no YouTube