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

15 Novembro 2018, 18:00 • Ricardo Santos

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. Esclarecimentos: o domínio não pode ser vazio; cada nome refere um único objecto (não há ‘nomes vazios’, mas pode haver objectos com mais do que um nome); a extensão de um predicado de dois (ou três) lugares é um conjunto de pares (ou de triplos) ordenados. Instâncias de uma quantificação universal e instâncias de uma quantificação existencial. A necessidade de garantir que todos os objectos (do domínio de uma interpretação) têm (pelo menos) um nome. As condições de verdade de uma quantificação universal e de uma quantificação existencial.