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

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