2019:instrucoes_anteriores_para_o_trabalho_3_de_logica
Table of Contents
Instruções Anteriores para o Trabalho 3 de Lógica
Trabalho 3 em 2019.1 e em 2018.2
Quantidades mínimas de cada item
Frases por tipo
- 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.
Assinatura
- 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
Modelos
- Valores no universo de valores concretos: 10
FIM DAS INSTRUÇÕES PARA A TURMA 2019.1
Primeira tarefa: definição do tema e formação das equipes
Documentos 2018.1 a organizar
Tarefa 1
- Definir equipe (três ou quatro participantes)
- Definir tema
- Escrever 5 frases sobre o tema
Intervenção 1
- Professor mostra como transformar algumas das frases em fórmulas
Tarefa 2
- Transformar as frases em fórmulas, talvez reescrevendo algumas das frases
- Identificar predicados nas frases
- Definir os predicados encontrados
Tarefa 3
- Incluir funções, caso não tenha
- Definir as funções presentes
- Listar as constantes presentes
- Reescrever as fórmulas
Tarefa 4
- Criar modelos para as fórmulas: um que satisfaça e um que falsifique
Versão final em PDF
2019/instrucoes_anteriores_para_o_trabalho_3_de_logica.txt · Last modified: 2020/11/19 11:42 by 127.0.0.1