Sumários

Aula 8 (TP13)

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

Conclusão do exercício 33. Apresentação das regras (formais) de dedução associadas à conjunção  e à disjunção. Resolução dos exercícios 39(1),(2),(3). Esclarecimento de dúvidas.

AULA 7

10 Outubro 2017, 10:30 • Fernando Ferreira

Regras informais da igualdade. Exemplo. As regras da negação. Discussão do método de demonstração por contradição (ou, redução ao absurdo). Exemplo.

TP 7

10 Outubro 2017, 08:00 • Fernando Ferreira

Exercicios 24(1)(2), 26, 30 e 33 (primeira parte).

Aula 6 (TP12)

9 Outubro 2017, 12:00 • Maria da Purificação Antunes Coelho

Exercícios 25, 28 e 29.

Aula 7 (TP13)

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

Exercícios 24 e 31. Início do exercício 33.