Guia de Estudo para a Prova 3

A partir de 2020/2, teremos apenas duas provas e o assunto da Prova 2 será o assunto das antigas provas 2 e 3.

• Escrever frases que podem ser representadas como fórmulas da Lógica de Predicados
• Representar frases como fórmulas
• Ler uma fórmula como uma frase em língua natural
• Escrever fórmulas bem formadas a partir de uma assinatura
• Descrever funções (símbolos funcionais), constantes e variáveis
• Descrever ocorrências livres e presas de variáveis
• Identificar ocorrências livres e presas de variáveis
• Definir assinaturas
• Descrever uma assinatura para um conjunto de fórmulas
• Verificar se uma fórmula é bem formada em relação a uma assinatura

• Criar um modelo que satisfaça ou não um conjunto de fórmulas
• Verificar se um modelo satisfaz ou não um conjunto de fórmulas

• Lendo o livro de Huth-Ryan, capítulo 2.
• Lendo o livro de Silva-Finger-Melo, capítulos 4 e 5.
• Assistindo aos vídeos na playlist da disciplina
• Resolvendo as provas anteriores.
• Materiais