Sumários

15 Novembro 2019, 14:00 • Maria da Purificação Antunes Coelho

Exercícios 54 e), 60, 61 e 62.

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

Resolução dos Exercícios 53.b), c), 54.a), b) e 58.a).

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

Exercícios 54 e), 60, 61 e 62.

14 Novembro 2019, 11:30 • Maria da Purificação Antunes Coelho

Estratégias para demonstrar um objetivo da forma "Existe um e um só x tal que P(x)".

Como demonstrar que n asserções são equivalentes entre si, através de um "ciclo" de n implicações.

Introdução ao estudo das aplicações.

14 Novembro 2019, 10:00 • Maria da Purificação Antunes Coelho

Exercícios 54 e), 62 e alíneas a) a f) dos exercícios 60 e 61.