Sumários
TP13
28 Outubro 2016, 14:00 • Catarina Araujo de Santa Clara Gomes
Não houve aula - falta justificada da docente.
TP14
28 Outubro 2016, 11:00 • Catarina Araujo de Santa Clara Gomes
Não houve aula - falta justificada da docente.
Exercícios 2C e 2D
28 Outubro 2016, 11:00 • Mário Jorge Edmundo
Resolução de exercícios das folhas de Exercícios 2C e 2D.
Tema: regras de inferência e estratégias de demonstração
27 Outubro 2016, 11:30 • Mário Jorge Edmundo
Regras de inferência e estratégias de demonstração: demonstração de uma implicação por contra-recíproco; silogismo hipotético; demonstração de uma negação; demonstração por redução ao absurdo; demonstração de uma proposição existêncial ou universal; demonstração por indução.
Exercícios 2C e 2D
27 Outubro 2016, 10:00 • Mário Jorge Edmundo
Resolução de exercícios das folhas de Exercícios 2C e 2D.