Sumários
T12 - aula 7
12 Outubro 2023, 11:30 • Maria da Purificação Antunes Coelho
Leis de De Morgan para quantificadores. Asserções obtidas a partir de uma condição em várias variáveis, aplicando um quantificador a cada uma dessas variáveis. Asserções de existência e unicidade.
AULA 7
12 Outubro 2023, 11:30 • Fernando Ferreira
Demonstrações de existência e unicidade. Demonstrações de unicidade.
TP15 - aula 7
11 Outubro 2023, 11:30 • Maria da Purificação Antunes Coelho
Exercícios 23 (alíneas a e b) e 30.
TP16 - aula 8
11 Outubro 2023, 11:30 • Fernando Ferreira
Exercícios 18, 26, 27 e início do exercício 30.