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
Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
Ao menos duas fórmulas devem incluir ao menos uma função.
Generalizações Existenciais: 3
Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
Ao menos duas fórmulas devem incluir ao menos uma função.
Obs.: Funções devem aparecer em ao menos quatro fórmulas.
Assinatura
Pelo menos:
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
Dois modelos.
Valores no universo de valores concretos: mínimo de 10
Opcional: incluir duas demonstrações. Uma de que o modelo M1 satisfaz uma das fórmulas com quantificadores, outra de que o modelo M2 não satisfaz uma das fórmulas com quantificadores.
Entrevistas
Opcional: Preparar apresentação de slides sobre o trabalho.