Sumários
Exercícios 2B e 2C
25 Outubro 2016, 10:30 • Mário Jorge Edmundo
Resolução dos exercícios das folhas de Exercícios 2B e 2C.
Tema: Regras de inferência e estratégias de demonstração
25 Outubro 2016, 09:30 • Mário Jorge Edmundo
Regras de inferência e estratégias de demonstração: substituição; demonstração de uma conjunção; demonstração de uma disjunção; demonstração por casos; demonstração de uma equivalência; demonstração directa de uma implicação.
TP13
24 Outubro 2016, 13:30 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 2B (conclusão).
Exercícios 2B e 2C
24 Outubro 2016, 11:00 • Mário Jorge Edmundo
Resolução dos exercícios das folhas de Exercícios 2B e 2C.
TP14
24 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Resolução de exercícios da ficha 2B (conclusão).