Demonstrações formais com os conectivos booleanos

29 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 39, (1), (3), (4), 40, 41, 42 (1) e 43(1).