TP11: tautologias, contradições, demonstrações e quantificadores. Tipologia da aula: videoconferência + presencial.

30 Outubro 2020, 11:00 • Mário João de Jesus Branco

Resolução dos Exercícios 19, 21, 22.a) e 23.a)-g).