Interpretações e contramodelos com predicados de n lugares

4 Dezembro 2018, 18:00 • Ricardo Santos

Interpretações para fórmulas com predicados de n lugares. Contramodelos para formas de argumento com predicados de n lugares. Trabalhar com pares (e triplos, etc.) ordenados de objectos do domínio. Mais exercícios de formalizações.