Sumários

TP13 aula 25

18 Dezembro 2024, 08:00 Maria da Purificação Antunes Coelho

Exercícios 126, 149 (conclusão), 152 (alíneas 3, 8 e 11) e 161.


Aula teórica 26

17 Dezembro 2024, 10:30 Maria da Purificação Antunes Coelho

Realização das deduções formais pedidas no exercício 151 e alíneas 7 e 10 do exercício 152.

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


TP11_26

17 Dezembro 2024, 08:00 Maria da Purificação Antunes Coelho

Consulta do segundo mini teste. Exercícios 122 (1-10), 124 (6-10), 148 (3-5) e 152 (1,2).


TP12_26

16 Dezembro 2024, 12:00 Mário Jorge Edmundo

Resolução dos exercícios 148, 149 (1, 2, 3).


TP13 aula 24

16 Dezembro 2024, 08:00 Maria da Purificação Antunes Coelho

Consulta do segundo mini teste. Exercícios 122 (1-10), 124 (6-10), 148 (3-5), 149 (1) e 152 (1,2).