Aula teórica 16

4 Novembro 2025, 10:30 • Maria da Purificação Antunes Coelho

As regras formais de eliminação da igualdade e de introdução da igualdade (continuação). 

---

TP11_16

4 Novembro 2025, 08:00 • Mário Jorge Edmundo

Mini-teste 1

---

TP12 aula 15

3 Novembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Realização do primeiro miniteste.

---

TP14 aula 14

31 Outubro 2025, 11:30 • Maria da Purificação Antunes Coelho

Exercício 54 e parte do exercício 56. Esclarecimento de dúvidas.

---

Aula teórica 15

31 Outubro 2025, 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. Exemplos. Referência breve à correção e completude do sistema de Fitch para o cálculo proposicional. Regra formal de eliminação da igualdade. 

---