TP14 aula 19

29 Novembro 2024, 11:30 • Maria da Purificação Antunes Coelho

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

---

Aula teórica 21

29 Novembro 2024, 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.

---

TP11_21

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

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

---

TP12_21

28 Novembro 2024, 10:30 • Mário Jorge Edmundo

Discussão e resolução dos exercícios 90, 91, 92, 93 (2, 4, 6).

---

TP14 aula 18

27 Novembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 90, 91, 99 (alíneas 1 a 24) e 101. 

---