Sumários
Lógica dos Quantificadores
6 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 132(2,4), 133 e 168(1,3,11).
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").