Sumários
TP12-10
10 Dezembro 2018, 08:00 • Bruno Dinis
Resolução dos exercícios 148(1,2), 156, 154, 138 e 136.
AULA 23
7 Dezembro 2018, 09:30 • Fernando Ferreira
A regra da generalização universal (AIntro). Um exemplo de dedução informal e dois exemplos de deduções formais. Demonstração condicional geral (a regra GenCond). Um exemplo de dedução formal.
TP12-07
7 Dezembro 2018, 08:00 • Bruno Dinis
Resolução dos exercícios 108, 118, 119 (1-4), 122 (10-20), 148 (1,2) e 156
23 TP12
6 Dezembro 2018, 10:30 • Fernando Ferreira
Exercícios 123, 127(1)(2)(3)(7)(10), 134, 136, 137 e 138.
Aula 23 TP14
6 Dezembro 2018, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 148(1), 148(2), 156, 154, 137 e 138.