Sumários
Aula 20 (TP12)
27 Novembro 2017, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 107, 106, 102 e 119.
Aula 20 (TP13)
27 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 105 (conclusão), 107, 106, 102, 119 e 123 (alíneas 1 a 5).
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).
Aula 19 (TP12)
23 Novembro 2017, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 98, 103 e 105.