TP14 aula 13

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

Realização do primeiro mini teste.

---

Aula teórica 15

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

Algumas inferências elementares envolvendo a equivalência material. Regras formais de eliminação da equivalência e de introdução da equivalência. Regras formais de eliminação da igualdade e de introdução da igualdade. Exemplos.

---

TP11_15

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

Mini-teste 1.

---

TP12_16

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

Mini-teste 1.

---

TP14 aula 12

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

Resolução do exercício 43(5). Esclarecimento de dúvidas.

---