TP12_14

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

Discussão e resolução dos exercícios: 54.

---

TP14 aula 11

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

Exercícios 49 e 54. Questão IV do teste de novembro de 2017.

---

TP13 aula 12

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

Exercícios 49, algumas alíneas do exercício 50, 54 (conclusão), 59 e algumas alíneas do exercício 50. Questão IV do teste de novembro de 2017.

---

Aula teórica 13

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

Métodos para, a partir da tabela de verdade de uma sentença S, obter uma forma normal disjuntiva e uma forma normal conjuntiva de S. Completude vero-funcional. Exemplos de conjuntos de conetivos vero-funcionalmente completos. O conetivo "nem nem" (ou NOR).

---

TP11_13

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

Discussão e resolução dos exercícios: 43 (2,3), 45, 47, 54, 48.

---