Sumários

7 Dezembro 2016, 09:30 • Maria da Purificação Antunes Coelho

Exercícios 98 (conclusão), 100, 105 e 107 (algumas alíneas). Início do exercício 119.

7 Dezembro 2016, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 121 e 148 (alíneas 2, 3 e 4).

6 Dezembro 2016, 10:30 • Fernando Ferreira

Demonstrações informais com quantificadores. Nomes novos (batismos). As regras formais (AElim), (EIntro) e (EElim). Exemplos.

Existência e unicidade.

6 Dezembro 2016, 08:00 • Fernando Ferreira

Exercícios 106(c)(d), 107, 117, 118, 119 e 122.

5 Dezembro 2016, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 98 (conclusão), 105 e 107 (alíneas 4,6,8 e 10 a 16). Início do exercício 119.