Prof. Cezar A. Mortari

Videoaulas de Lógica II

Tópico 1

  1. Introdução ao Cálculo de Predicados de Primeira Ordem (CQC) — arquivo único

  2. Sintaxe do CQC — parte 1 — parte 2 — parte 3 — parte 4 — parte 5

  3. Linguagens de primeira ordem — arquivo único

  4. Fórmulas abertas e fechadas — parte 1 — parte 2

  5. Proposições categóricas — arquivo único

  6. O quadrado de oposições — arquivo único

  7. Representando proposições categóricas — parte 1 — parte 2 — parte 3 — parte 4

  8. Mais de um quantificador — parte 1 — parte 2

Tópico 2

  1. Estruturas — parte 1 — parte 2 — parte 3 — parte 4 — parte 5

  2. Verdade: sentenças atômicas — arquivo único

  3. Verdade: sentenças moleculares — arquivo único

  4. Verdade: sentenças gerais — parte 1 — parte 2 — parte 3 — parte 4

  5. Verdade: fórmulas abertas — arquivo único

  6. Validade — arquivo único

  7. Consequência lógica — parte 1 — parte 2

Tópico 3

  1. Tablôs semânticos: regras para operadores — parte 1 — parte 2 — parte 3 — parte 4

  2. Tablôs: exemplo — arquivo único

  3. Tablôs semânticos: regras para quantificadores — parte 1 — parte 2

  4. Tablôs: indecidibilidade do CQC — arquivo único

Tópico 4

  1. Silogismos — arquivo único

  2. Validade de silogismos — parte 1 — parte 2

  3. Diagramas de Venn — arquivo único

Tópico 5

  1. Dedução natural – regras para o quantificador universal — arquivo único

  2. Dedução natural – regras para o quantificador existencial — arquivo único

Tópico 6

  1. Identidade — parte 1 — parte 2 — parte 3

  2. Constantes funcionais — parte 1 — parte 2

  3. Regras para tablôs e dedução natural — arquivo único

Tópico 7

(ainda sem aulas gravadas)
  1. Teorias formalizadas de primeira ordem — arquivo único

  2. Aritmética de Peano

  3. Noções de lógica de segunda ordem

Tópico 8

(ainda sem aulas gravadas)
  1. Lógicas modais de primeira ordem