Sumários

10 Dezembro 2025, 08:00 • Maria da Purificação Antunes Coelho

Discussão de algumas alíneas do exercício 97. Exercícios 109, 110 e 124 (alíneas 1, 2, 3, 8 e 11).

9 Dezembro 2025, 12:00 • Maria da Purificação Antunes Coelho

Consulta do segundo miniteste. Exercícios 120 e 97 (1-10).

9 Dezembro 2025, 10:30 • Maria da Purificação Antunes Coelho

Mais traduções ("existe exatamente um...", existem pelo menos três...", "existem exatamente dois...").

Realização das deduções formais pedidas nos exercícios 123(1), 123(3) e 124(7).

Observações sobre o modo de usar (respetivamente o modo de provar) formalmente uma sentença na qual ocorram vários quantificadores.

9 Dezembro 2025, 08:00 • Mário Jorge Edmundo

Resolução dos exercícios 99 (5 - 10), 111, 112, 120 (5)

5 Dezembro 2025, 11:30 • Maria da Purificação Antunes Coelho

Conclusão dos exercícios 95, 99 e 120. Alíneas 2 e 3 do exercício 100.