Sumários

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

Conclusão do exercício 19. Algumas alíneas dos exercícios 18 e 20.

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

Implicação e equivalência formais.

Conjuntos: princípio da extensionalidade; conjunto vazio; representações em extensão; conjuntos definidos por condições.

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

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

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.

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)".