Sumários

12 Dezembro 2018, 09:30 • Maria da Purificação Antunes Coelho

Esclarecimento de dúvidas.
Discussão dos exercícios 134, 135 e 136.
Exercício 142.

12 Dezembro 2018, 08:00 • Bruno Dinis

Terceiro mini-teste.

11 Dezembro 2018, 10:30 • Fernando Ferreira

Algumas traduções: exercícios 125(1) e 127(8). Formas normais prenexas. Prenexificação. O exercício 132. Exemplos.

11 Dezembro 2018, 08:00 • Bruno Dinis

Resolução dos exercícios 154, 138 e 136. Resolução de exercícios de revisão para o mini-teste.

10 Dezembro 2018, 12:00 • Fernando Ferreira

Exercícios 120, 124(1)(2)(3)(4)(5), 148(1)(2)(3), 154 e 156.