Demonstrações formais envolvendo os conectivos disjunção, conjunção, negação e contradição.

18 Novembro 2021, 10:30 • Maria João Antunes Dias Gouveia

Correcção do TPC (ex. 41).