TP11: quantificadores

12 Outubro 2018, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 15.g)-r), 16, 17 e 18.a)-f).

---

Aula teórica 8

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

Implicação e equivalência formais. 

---

Aula 7 TP12

11 Outubro 2018, 10:00 • Maria da Purificação Antunes Coelho

Conclusão do exercício 20. Algumas alíneas do exercício 18.

---

Aula 6 TP 12

9 Outubro 2018, 10:30 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 15, 16 e 19. Exercício 17. Alíneas a) a f) do exercício 20.

---

Aula teórica 7

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

Negação de expressões com quantificadores. Asserções da forma "Existe um e um só x tal que P(x)".

---