Sumários
Aula teórica 10
17 Outubro 2019, 11:30 • Maria da Purificação Antunes Coelho
Estratégia para demonstrar um objetivo da forma "Para todo o x, P(x)". Como demonstrar uma inclusão de conjuntos.
TP12 aula 9
17 Outubro 2019, 10:00 • Maria da Purificação Antunes Coelho
Exercício 37. Discussão do exercício 38. Alíneas a), d), e), f), h), i), j) e l) do exercício 34. Início do exercício 35.
TP12 aula 8
15 Outubro 2019, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 25, 30, 32 e 33 (alíneas a)-e), g) e h)).
Aula teórica 9
15 Outubro 2019, 09:30 • Maria da Purificação Antunes Coelho
Variáveis livres e variáveis mudas. Aplicação de um quantificador numa condição em várias variáveis. Asserções obtidas a partir de uma condição em várias variáveis por aplicação sucessiva de um quantificador a cada uma dessas variáveis.
TP13 aula 8
14 Outubro 2019, 13:30 • Maria da Purificação Antunes Coelho
Exercícios 25 (conclusão), 30, 32 e 33 (alíneas a)-e) e g)).