TP13 aula 14

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

Realização do primeiro mini teste.

---

Aula teórica 14

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

Deduções informais envolvendo a implicação. Método de dedução condicional. Breve referência ao método de demonstração por contrarrecíproco. Regras formais de eliminação da implicação e de introdução da implicação. Exemplos.

---

TP11_14

5 Novembro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 49, 50 (algumas alíneas), 59 (1).

---

TP12_15

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

Discussão e resolução dos exercícios: 49, 50 (algumas alíneas), 59 (1).

---

TP13 aula 13

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

Exercícios 50 (conclusão) e 57. Esclarecimento de dúvidas.

---