TP12: Demonstrações formais.

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

---

Exerc. 40 e 41.

TP13_12

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

---

Resolução dos exercícios 47 e 54.

TP14: Demonstrações formais e os conectivos lógicos condicional e bicondicional.

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

---

Exerc. 43(3), (4) e 45.

T11_12

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

---

Variáveis, termos, exemplos; fórmulas atómicas, exemplos; fórmulas, quantificado universal, quantificado existencial; nota sobre parênteses; variáveis livres, exemplos; variáveis mudas, sentenças. 

TP11_11

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

---

Resolução dos exercícios 57, 61 e 62.