Instruções Anteriores para o Trabalho 3 de Lógica

• Exemplo "A Comunidade de Elixir" no GitLab
• Modelo em Latex criado por Franco Barpp Gomes, Lucas Eduardo Bonancio Skora e Thiago de Mendonça Mildemberger (Engenharia de Computação - Turma 2019/1)
• Lista de símbolos lógicos
• Exemplo "Atividades presenciais para o compartilhamento de conhecimento em desenvolvimento de software"
• Instruções
• Série Sherlock: exemplo de trabalho dos alunos Meika Farias de Oliveira e Rafael Rosa da Silva

• Documento sobre Assinaturas
• Documento sobre Modelos
• Mais documentos sobre Lógica de Predicados
• Instruções Adicionais sobre o Trabalho 3

• Propriedades de “objetos”: 3, cada uma com um objeto e um predicado diferente
• Relações entre “objetos”: 3, cada uma com um predicado diferente. Os objetos devem incluir objetos do item anterior e novos objetos.
• Negações: 2
• Conjunções: 2
• Disjunções: 2
• Implicações: 2
• Generalizações Universais: 3
• Generalizações Existenciais: 3

Obs.: Funções devem aparecer em ao menos três fórmulas.

• Constantes: 6
• Variáveis: 3
• Predicados de aridade 1: 3
• Predicados de aridade 2 ou superior: 2
• Funções de aridade 1: 2
• Funções de aridade 2 ou superior: 1

• Valores no universo de valores concretos: 10

FIM DAS INSTRUÇÕES PARA A TURMA 2019.1

• Equipes do Trabalho 3 da Turma S73
• Equipes do Trabalho 3 da Turma S71

• Pasta com Arquivos
• Instruções
• Exemplo
• Instruções Adicionais
• Mais instruções

1. Definir equipe (três ou quatro participantes)
2. Definir tema
3. Escrever 5 frases sobre o tema

1. Professor mostra como transformar algumas das frases em fórmulas

1. Transformar as frases em fórmulas, talvez reescrevendo algumas das frases
2. Identificar predicados nas frases
3. Definir os predicados encontrados

1. Incluir funções, caso não tenha
2. Definir as funções presentes
3. Listar as constantes presentes
4. Reescrever as fórmulas

1. Criar modelos para as fórmulas: um que satisfaça e um que falsifique

1. Trabalho de Lógica de Predicados