Sumários

TP12_8

10 Outubro 2024, 10:30 Mário Jorge Edmundo

Discussão e resolução dos exercícios: 28, 14, 15. 


TP14 aula 5

9 Outubro 2024, 09:30 Maria da Purificação Antunes Coelho

Exercícios 24, 27 e 28 e início do exercício 30.


TP13 aula 6

9 Outubro 2024, 08:00 Maria da Purificação Antunes Coelho

Exercícios 14, 15 e 30 e início do exercício 31.


Aula teórica 7

8 Outubro 2024, 10:30 Maria da Purificação Antunes Coelho

Consequência lógica e consequência tautológica. Deduções (informais) e contraexemplos.


TP11_7

8 Outubro 2024, 08:00 Mário Jorge Edmundo

Discussão e resolução dos exercícios: 23, 24, 27.