Lógica dos Quantificadores

4 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte

Resolução dos exercícios 127(6,8,10) e 161 (1), (2), (3) (+ tradução para LPO da frase "Há um único cubo").