Sumários

TP12 aula 16

12 Novembro 2019, 10:30 Maria da Purificação Antunes Coelho

Exercício 54c) e conclusão do exercício 55.


Aula teórica 17

12 Novembro 2019, 09:30 Maria da Purificação Antunes Coelho

Implicação e equivalência formais.

Asserções da forma "Existe um e um só x tal que P(x)".


TP13 aula 15

11 Novembro 2019, 13:30 Maria da Purificação Antunes Coelho

Exercício 54c) e conclusão do exercício 55.


TP11: conjunto das partes e inclusão

11 Novembro 2019, 11:00 Mário João de Jesus Branco

Resolução dos Exercícios 57 e 53.a). Discussão sobre o Exerc. 53.b).


TP14 aula 15

11 Novembro 2019, 11:00 Maria da Purificação Antunes Coelho

Exercício 54c) e conclusão do exercício 55.