Deduções formais com os conectivos booleanos
28 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 39, (1), (3), (4), 40 e 41. Consulta do mini-teste.
28 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 39, (1), (3), (4), 40 e 41. Consulta do mini-teste.