Sumários
T_8
14 Outubro 2022, 09:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch. Exemplos, incluindo uma demonstração errada. Mais exemplos, incluindo: parte da absorção, parte da distributividade, parte das leis de De Morgan e terceiro excluído.
TP12_7
13 Outubro 2022, 10:30 • Mário Jorge Edmundo
Resolução dos exercícios 39, 40 e 41 (versão demonstração informal).
TP14_5
12 Outubro 2022, 09:30 • Mário Jorge Edmundo
Resolução dos exercícios 24, 25, 27 (TPC), 28 e 29.
T_7
11 Outubro 2022, 10:30 • Mário Jorge Edmundo
Contradição, regras de substituição para a contradição. Regras de inferência: eliminação da negação, introdução da negação, exemplos (raiz quadrada de dois é irracional), introdução da contradição, eliminação da contradição, exemplos (modus tollendo ponens, princípio da não contradição, lei da dupla negação, modus podendo tollens).