Sumários
TP14_7
3 Novembro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de consequências lógicas e contra-exemplos. Resolução dos exercícios 3, 14, 15, e 23.
TP13_6
3 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de formas normais. Resolução dos exercícios 24, 25 e 28.
T_8
2 Novembro 2021, 10:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch. Exemplos (modus tollendo ponens, princípio da não contradição), incluindo uma demonstração formal errada. Exemplos de demonstrações formais com estratégias: uma implicação de um caso da absorção, da distribuitividade, das leis de De Morgan.
TP11_7
2 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de consequências lógicas e contra-exemplos. Resolução dos exercícios 3, 14, 15, e 23.
TP14_5 e 6
29 Outubro 2021, 11:30 • Mário Jorge Edmundo
Resolução dos exercícios 20 e 21. Exemplos de formais normais. Resolução dos exercícios 24, 25 e 28.