Sumários
Deduções formais com quantificadores
13 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 140, 141 e 142.
TP12_26
12 Dezembro 2019, 10:30 • Mário Jorge Edmundo
Exercícios 139, 140, 141 (com demonstração informal e formal).
TP14_26
12 Dezembro 2019, 08:00 • Mário Jorge Edmundo
Exercícios 140, 141 (com demonstração informal e formal).
TP14_25
11 Dezembro 2019, 09:30 • Mário Jorge Edmundo
Exercícios 168 (11, 13, 15), 137 (com demonstração informal e formal), 139.
Deduções formais com quantificadores
11 Dezembro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 137 e 139 com e sem a permissa extra de que haja pelo menos um objecto.