Aula teórica 22

25 Novembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Equivalência de fórmulas. Leis de quantificação nula. Leis de mudança de variável muda.  Introdução à quantificação múltipla.

---

TP11_22

25 Novembro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 86, 88,  92, 93, 94.

---

TP12 aula 21

24 Novembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 86, 88 (conclusão), 92, 93 e 94.

---

TP14 aula 20

21 Novembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 80 (conclusão), 82, 84, 87 e 88(1 - 10).

---

Aula teórica 21

21 Novembro 2025, 09:30 • Maria da Purificação Antunes Coelho

Satisfação de fórmulas. Valor de verdade de sentenças da forma "Para todo o x, P(x)" e de sentenças da forma "Existe x tal que P(x)". Leis de De Morgan para quantificadores e outras equivalências de primeira ordem.

---