Interpretações da linguagem da lógica de predicados

13 Novembro 2017, 18:00 • Ricardo Santos

Exercícios de formalização. Interpretações da linguagem da lógica de predicados. Os elementos essenciais de uma interpretação: um domínio de objectos; as referências dos nomes; as extensões dos predicados. Avaliação de fórmulas complexas em interpretações dadas. As noções de verdade-numa-interpretação e falsidade-numa-interpretação.