TP12: Sentenças logicamente equivalentes e tt-equivalentes; formas normais negativa, conjuntiva e disjuntiva.

16 Outubro 2023, 12:00 • Mário João de Jesus Branco

---

Exerc. 24(10), 27 e 28(1)-(9). Inferências.

TP13_8

16 Outubro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 39 e 40.

TP14: Sentenças logicamente equivalentes e tt-equivalentes; formas normais negativa, conjuntiva e disjuntiva.

13 Outubro 2023, 11:30 • Mário João de Jesus Branco

---

Exerc. 25, 27, 29(2), (3) e 30(1).

T11_8

13 Outubro 2023, 09:30 • Mário Jorge Edmundo

---

Demonstrações formais na notação de Fitch, exemplos (modus tollendo ponens, princípio da não contradição e uma falácia), mais exemplos (absorção, distributividade, princípio do terceiro excluído).

TP11_7

13 Outubro 2023, 08:00 • Mário Jorge Edmundo

---

Resolução dos exercícios 30 e 31.