Sumários

TP13 - aula 7

11 Outubro 2023, 08:00 • Maria da Purificação Antunes Coelho

Exercícios 23 (conclusão) e 30.


TP12- aula 6

10 Outubro 2023, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 15, 17 e 23(a).


T12 - aula 6

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

Demonstrações por absurdo: explicação do método e exemplo ilustrativo (demonstração, por redução ao absurdo, da irracionalidade da raiz quadrada de 2 - "Demonstração 7").

Discussão de algumas leis lógicas do cálculo proposicional.


AULA 6

10 Outubro 2023, 09:30 • Fernando Ferreira

Outra demonstração de existência. Uma demonstração de existência e unicidade.


TP13 - aula 6

9 Outubro 2023, 13:30 • Maria da Purificação Antunes Coelho

Exercícios 14, 15, 17 (conclusão) e 23(a).