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).


TP12_14

5 Dezembro 2019, 10:30 Mário Jorge Edmundo

Exercícios 132 (2, 4), 133.


TP14_24

5 Dezembro 2019, 08:00 Mário Jorge Edmundo

Exercícios 118, 132 (2, 4), 133, 168 (1, 3)


TP14_23

4 Dezembro 2019, 09:30 Mário Jorge Edmundo

Exercícios 127 (2, 4, 6, 8, 10), 161.


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").