Sumários
TP12: Fórmulas e quantificadores: consequência lógica e demonstrações informais e formais.
4 Dezembro 2023, 12:00 • Mário João de Jesus Branco
Exerc. 141, 142 e 148(1), (2).
TP12: Fórmulas e quantificadores.
30 Novembro 2023, 10:30 • Mário João de Jesus Branco
Exerc. 117, 118, 132(a), (b), 137, 139 e 140.
TP14: Fórmulas e quantificadores.
29 Novembro 2023, 09:30 • Mário João de Jesus Branco
Exerc. 106(9)-(14), 99 e 110.
Formas aristotélicas.
TP13_21
29 Novembro 2023, 08:00 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.