Aula teórica 8

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

Inferências básicas envolvendo a conjunção e a disjunção. O método de demonstração por casos - explicação do método e um exemplo (informal) ilustrativo. Introdução ao sistema formal de dedução natural de Fitch. As regras formais de introdução e eliminação da conjunção - apresentação e explicação das regras e um exemplo.

---

TP11_8

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

Discussão e resolução dos exercícios 12, 13, 25 e 26.

---

TP12 aula 7

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

Exercícios 12, 13 e 25 e início do exercício 26.

---

TP14 aula 6

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

Exercícios 22, 23 e parte do exercício 14.

---

Aula teórica 7

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

Forma normal disjuntiva e forma normal conjuntiva. Consequência lógica e consequência tautológica. Deduções (informais) e contraexemplos. 

---