Sumários

TP 15 aula 7

10 Outubro 2022, 08:00 • Maria da Purificação Antunes Coelho

Discussão de algumas alíneas dos exercícios 35 e 36.

TP14 aula 6

7 Outubro 2022, 11:00 • Maria da Purificação Antunes Coelho

Discussão de algumas alíneas dos exercícios 35 e 36.

TP11: Quantificadores.

7 Outubro 2022, 11:00 • Mário João de Jesus Branco

Breve apresentação dos quantificadores. Leis de De Morgan para quantificadores. Resolução dos Exerc. 35 e 21.

T12 aula 6

6 Outubro 2022, 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. 

AULA 6

6 Outubro 2022, 11:30 • Fernando Ferreira

Demonstração da lei do anulamento do produto para os números reais (ou como chegar a uma disjunção). 

Demonstrações de existência de elementos que gozam duma certa propriedade. Um primeiro exemplo em que se exibe explicitamente um ente matemático que goza dessa propriedade. Um segundo exemplo em que não se exibe explicitamente tal exemplo.
A definição de continuidade como exemplo duma definição em que entram três quantificadores: para todo, existe, para todo.