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.
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
TP14 aula 15
11 Novembro 2019, 11:00 • Maria da Purificação Antunes Coelho
Exercício 54c) e conclusão do exercício 55.