Demonstrações formais. Os conectivos implicação formal e equivalência formal

22 Novembro 2021, 12:00 • Maria João Antunes Dias Gouveia

Resolução dos exercícios 44 (1 e 3),  45, 52 (nºs ímpares), 48.