Sumários

TP 12 aula 14

5 Novembro 2019, 10:30 • Maria da Purificação Antunes Coelho

Exercícios 56, 57, 58 e 53(b).

Aula teórica 15

5 Novembro 2019, 09:30 • Maria da Purificação Antunes Coelho

Como demonstrar uma conjunção. Estratégia para demonstrar uma igualdade de conjuntos; estratégia para demonstrar uma equivalência.

Como usar um dado da forma "P ou Q"; divisão de uma demonstração em casos exaustivos.
Como demonstrar um objetivo da forma "P ou Q".

TP13 aula 13

4 Novembro 2019, 13:30 • Maria da Purificação Antunes Coelho

Exercícios 51, 56, 57 e 58.

TP11: método de indução, conjuntos e asserções com mais do que um quantificador

4 Novembro 2019, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 43, 45, 47, 36.a), b), c) e 39.d)-g).

TP14 aula 13

4 Novembro 2019, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 51, 56, 57, 58, 49 e 52(d).