Sumários
T_18
22 Novembro 2022, 10:30 • Mário Jorge Edmundo
Exemplo de uma demonstração formal errada; exemplos de demonstrações informais e de contra-exemplos; mais exemplos de demonstrações formais.
TP12_17
21 Novembro 2022, 12:00 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.
T_17
18 Novembro 2022, 09:30 • Mário Jorge Edmundo
Regras de inferência para os quantificadores, vários exemplos de demonstrações incluindo uma das segundas leis de De Morgan.