AULA 20

24 Novembro 2017, 09:30 • Fernando Ferreira

Satisfação de fórmulas com mais do que uma variável (livre). Exemplos. A noção de fórmula. A noção de alcance dum quantificador, A noção de ocorrência de variável muda (e livre). A noção de sentença. Quantificações vazias. Quantificações nulas. Mudança de variável muda. Quantificação múltipla: a ordem da quantificação interessa (em geral).