TP13 aula 20

27 Novembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 93(alíneas 2 e 5), 99 (conclusão), 100, 103 e 104.

---

Aula teórica 20

26 Novembro 2024, 10:30 • Maria da Purificação Antunes Coelho

Termos e fórmulas de uma linguagem da lógica de primeira ordem. Alcance de um quantificador. Ocorrências de variáveis mudas e ocorrências de variáveis livres. Sentenças.

---

TP11_20

26 Novembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 86(6), 90, 91, 100, 101 e 99 (alíneas 1 a 14).

---

TP12_20

25 Novembro 2024, 12:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 86 (1-4), 85 (1-3).

---

TP13 aula 19

25 Novembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 91, 92, 101 e 99(alíneas 1 a 26).

---