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.

TP16 - aula 7

9 Outubro 2023, 13:30 Fernando Ferreira


Exercícios 11, 17, 23(b) e 24.

Sugestão para o exercício 18.