Tópicos para a prova e material sobre Silogismos

[juliana.bueno]

Olá Pessoal,

como prometido, os tópicos que serão cobrados na prova de quarta-feira
são:

1. Dedução Natural
2. Cáculo de Sequentes
3. Lógica de Predicados
- Conjuntos, relações e funções
- Linguagens de Primeira Ordem
- Semântica das Linguagens de Predicados
- Sistema axiomático para a Lógica de Predicados
- Introdução à Teoria dos Silogismos

Estudem a parte teórica.

Aproveiro para enviar, em anexo, o material complementar sobre Silogismos.

Abs,

Juliana