Semântica de Primeira Ordem Clássica

Material:

Aulas expositivas, reforço, sessões de dúvidas, desafios (tutores+fórum)
Livro B&A, capítulo Lógica de Predicados: Linguagem e Semântica
Livro DGM, de Dionísio-Gouveia-Marcos, capítulo 3.1, páginas 1-26
Verbete sobre Lógica de primeira ordem, na Wikipédia
Software Mundo de Tarski.
Exercícios sobre a expressividade da Lógica Clássica de Primeira Ordem na tradução de sentenças da linguagem natural (soluções)
Exercícios resolvidos B&A, capítulo "Lógica de Predicados: Linguagem e Semântica":
- Parte 0 (enunciados + soluções)
- Especial: Parte 1 (construção de contra-modelos finitos: heurística + soluções)
Exercícios resolvidos DGM: soluções
Avaliações + soluções:
- Avaliação 00 (Sem): enunciado - gabarito
- Avaliação 01 (Sem): enunciado - gabarito
- Avaliação 02 (Sem): enunciado
- Avaliação 02 (Sem+DN): enunciado - gabarito
- Avaliação 03 (Sem+DN): enunciado - gabarito