Sumários
TP13_7
8 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_8
5 Novembro 2021, 11:30 • Mário Jorge Edmundo
Exemplos de tt-consequências e contra-exemplos. Resolução dos exercícios 30 (2, 4, 6) e 31.
T_8.5
5 Novembro 2021, 09:30 • Mário Jorge Edmundo
Exemplos de demonstrações formais com estratégias: a outra implicação de um caso da absorção, da distribuitividade, das leis de De Morgan. Demonstração formal do princípio do terceiro excluído.
TP11_8
5 Novembro 2021, 08:00 • Mário Jorge Edmundo
Exemplos de tt-consequências e contra-exemplos. Resolução dos exercícios 30 (2, 4, 6) e 31.
Consequência Lógica
4 Novembro 2021, 10:30 • Maria João Antunes Dias Gouveia
Correcção do TPC (exercício 27).