A semântica dos quantificadores

20 Novembro 2017, 18:00 • Ricardo Santos

Esclarecimentos sobre o que é uma interpretação na lógica de predicados: 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 lugares é um conjunto de pares ordenados. Instâncias de uma quantificação universal e instâncias de uma quantificação existencial. As condições de verdade de uma quantificação universal e de uma quantificação existencial. Construção de interpretações para fórmulas dadas.