Sumários
Exercícios 2B
26 Outubro 2017, 10:00 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 2B
Exercícios 2B
24 Outubro 2017, 10:30 • Mário Jorge Edmundo
Resolução dos exercícios da folha de exercícios 2B.
Tema 3
24 Outubro 2017, 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 direta de uma implicação, demonstração de uma implicação por contra-recíproco, demonstração de uma negação, ex falso quodlibet, demonstração por redução ao absurdo.
Folha 2B
23 Outubro 2017, 13:30 • Maria João Antunes Dias Gouveia
Conclusão da resolução da folha 2B.
Folha 2B
23 Outubro 2017, 11:00 • Maria João Antunes Dias Gouveia
Conclusão da resolução da folha 2B.