TP12_12

24 Outubro 2024, 10:30 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 41, 42. 

---

TP14 aula 9

23 Outubro 2024, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 42, 43(2), 43(3) e 48(1-14).

---

TP13 aula 10

23 Outubro 2024, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 43(4), 44(1) e 48(1-14).

---

Aula teórica 11

22 Outubro 2024, 10:30 • Maria da Purificação Antunes Coelho

As regras formais associadas à contradição e à negação - mais exemplos. Dedução formal (sem premissas) do princípio do terceiro excluído. Os conetivos do condicional (implicação material) e do bicondicional (equivalência material) e respetivas tabelas de verdade. O antecedente e o consequente de uma implicação. O recíproco e o contrarrecíproco de

---

TP11_11

22 Outubro 2024, 08:00 • Mário Jorge Edmundo

Discussão e resolução dos exercícios: 39, 40. 

---