Sumários

8 Outubro 2018, 13:30 • Mário João de Jesus Branco

Resolução dos Exercícios 11, 14.b), d) e 15.a)-e).

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

Resolução dos Exercícios 11, 12.b), c), 14.b) e 15.a)-f).

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

Exercícios 15 (conclusão), 16(i. a iv.), 17 e 19 d).

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

Asserções obtidas a partir de uma condição em várias variáveis, por aplicação sucessiva de um quantificador a cada uma dessas variáveis.

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

Exercícios 19 (alíneas b, c e d), 16 (alíneas i. e ii.) e 15 (alíneas i, j, k, l, q e r).