Aula teórica 12

21 Outubro 2025, 10:30 • Maria da Purificação Antunes Coelho

Relação entre o condicional (respetivamente, bicondicional)  e a consequência lógica (respetivamente, equivalência lógica). Relação entre o condicional (respetivamente, bicondicional)  e a consequência tautológica (respetivamente, equivalência tautológica). Traduções da linguagem natural para a linguagem formal ("se ... então", "só se", "se e só se", "a menos que", etc.).

---

TP11_12

21 Outubro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios  36 (4, 5), 35 (1) e 37 (1) .  

---

TP12 aula 11

20 Outubro 2025, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 36(1), 38, 40(1 - 7), 41 (1 - 14) e 42.

---

TP14 aula 10

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

Exercício 36 (alíneas 1, 2, 3 e 4).

---

Aula teórica 11

17 Outubro 2025, 09:30 • Maria da Purificação Antunes Coelho

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 uma implicação. Algumas equivalências tautológicas envolvendo a implicação e/ou a equivalência.

---