Sumários
Mini-teste
16 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Realização do 1º mini-teste em 3 turnos de 25 minutos cada.
T9
15 Outubro 2019, 10:30 • Mário Jorge Edmundo
Demonstrações formais na notação de Fitch; exemplos (incluindo: modus tollendo ponens, absorção, princípio da não contradição, distributividade); discussão de uma demonstração formal errada.
Inferência Lógica
15 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 30, alíneas (1)-(6) e 31, alíneas (1), (2).