Demonstrações formais envolvendo os conectivos disjunção, conjunção.
15 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia
Resolução dos exercícios 39 e 40.
15 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia