Sumários
Dia da Investigação Ciência 2019
30 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Não houve aula
T13
29 Outubro 2019, 10:30 • Mário Jorge Edmundo
Mais exemplos de demonstrações formais (usando o terceiro excluído), incluindo: a outra lei de De Morgan, regra de substituição para o condicional, negação da implicação e exercício 44 (3).
Demonstrações formais com os conectivos booleanos
29 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 39, (1), (3), (4), 40, 41, 42 (1) e 43(1).