TP14 aula 20

6 Dezembro 2024, 11:30 • Maria da Purificação Antunes Coelho

Exercícios 110, 117, 118, 119 e alíneas 1) a 7) do exercício 120. Esclarecimento de dúvidas.

---

Aula teórica 23

6 Dezembro 2024, 09:30 • Maria da Purificação Antunes Coelho

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. Exemplos. Algumas traduções.

---

TP11_23

6 Dezembro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 118, 120 e algumas alíneas do exercício 108. Esclarecimento de dúvidas.

---

TP12_23

5 Dezembro 2024, 10:30 • Mário Jorge Edmundo

Resolução dos exercícios 103, 107, 133, 119, 118.

---

TP14 aula 20

4 Dezembro 2024, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 106, 107, 109, 133 e algumas alíneas do 108.

---