TP13 aula 23

2 Dezembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Realização do segundo miniteste. Resolução dos exercícios 95 e 99 (1-4)

---

Aula teórica 24

2 Dezembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Instanciação existencial e a regra formal de eliminação do quantificador existencial. Algumas traduções.

---

TP11_24

2 Dezembro 2025, 08:00 • Mário Jorge Edmundo

Mini-teste 2

---

TP14 aula 22

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

Exercício 95 (1 - 7). Esclarecimento de dúvidas.

---

Aula teórica 23

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

Quantificação múltipla. As regras de instanciação universal (particularização) e de generalização existencial e as correspondentes regras formais de eliminação do quantificador universal e de introdução do quantificador existencial. 

---