Sumários

TP11: interpretação de conjuntos e conjunto das partes. Tipologia da aula: videoconferência + presencial.

9 Novembro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 30, 32 e 35.a).

TP13 - 6 de novembro

6 Novembro 2020, 14:00 • Maria da Purificação Antunes Coelho

Exercícios 25, 27, 29 e alíneas a) e b) do exercício 30.

TP14 - 6 de novembro

6 Novembro 2020, 11:00 • Maria da Purificação Antunes Coelho

Exercícios 25, 27, 29 e 30(a)-(e).

TP11: asserções com um quantificador e operações sobre conjuntos. Tipologia da aula: videoconferência + presencial.

6 Novembro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 26.b.v), 27, 28 e 29.a)-j).

Aula teórica 10

5 Novembro 2020, 11: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.