Sumários

15 Outubro 2026, 08:00 • Fátima Fabião

Correcção com discussão dos exercícios:

3.3.6 a) b) (A₁, A₃) 3.3.4 a) intersecção com Q 2.4.2

Exercícios propostos em aula:

4.6.7 a) b) c) d) f) 4.6.4 a) (iv) b)

8 Outubro 2026, 08:00 • Fátima Fabião

Correcção com discussão dos exercícios:

3.3.4 a) b) c) d) terminar

3.3.5 a) b) d) 3.3.7 (C) 3.3.8 a) b) c) d) e) f)

Exercícios propostos em aula:

3.3.6 topologia dos conjuntos: vazio, N, Q, R\Q, R

1 Outubro 2026, 08:00 • Fátima Fabião

Correcção com discussão dos exercícios:

3.3.4 a) b) c) d)

2.3.6 a) b) c) 2.3.7 2.3.1 b) c) f) g) 2.4.6 (1)

exercício de Indução Matemática passado na aula anterior

Exercícios propostos em aula:

3.3.4 a) modificado

24 Setembro 2026, 08:00 • Fátima Fabião

Correcção com discussão dos exercícios:

1.6.2 a) b) c) d) e) 1.7.1 b) 1.7.3 1.7.4 2.3.5 d)

exercício 7 da ficha de Indução Matemática

Desafio 2: Construa uma condição p(x,y) para a qual os quantificadores comutem

Exercícios propostos em aula:

2.3.6 a) b) c) d) e) f)

17 Setembro 2026, 08:00 • Fátima Fabião

Correcção com discussão dos exercícios:

1.2.6 1.4.1 a) b) c) 1.4.2 a) b) c) d) e) f) g) 1.4.3 a) c) 1.6.3 a)

Desafio 1: A negação da equivalência, é equivalente à disjunção exclusiva? (relacionar com exercício 1.2.6)

Exercícios propostos em aula:

1.7.1 b) 1.7.3 1.7.4