Sumários
TP11_9
3 Novembro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (tt-consequências e contra-exemplos). Exercícios 30 (2-6), 31 (2-5).
TP12_9
2 Novembro 2020, 12:00 • Mário Jorge Edmundo
Exemplos (tt-consequências e contra-exemplos). Exercícios 30 (2-6), 31 (2-5).
TP13_7
2 Novembro 2020, 08:00 • Bruno Dinis
Exemplos de consequência lógica e contra-exemplos. Resolução dos exercícios 3, 14, 15 e 23 (conclusão).
T_8
30 Outubro 2020, 09:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch, exemplos (incluindo: modus tollendo ponens, princípio da não contradição e um exemplo ad hoc de uma demonstração errada); Exemplos de demonstrações formais ilustrando várias estratégias (incluindo: absorção, distributividade, uma das leis de De Morgan e o princípio do terceiro excluído).
TP11_8
30 Outubro 2020, 08:00 • Mário Jorge Edmundo
Exemplos (consequência lógica e contra-exemplos). Exercícios 4, 14 ,15, 23.