Sumários
Inferência Lógica
14 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).
T8
11 Outubro 2019, 09:30 • Mário Jorge Edmundo
Exemplo de demonstração por casos com sub-casos; Notas sobre a contradição, o símbolo da contradição, e regras de substituição para a contradição; As regras de inferência eliminação da negação [~Elim] e introdução da negação [~Intro] (também conhecida como demonstração por contradição); Exemplos (incluindo a demonstração de que a raiz quadrada de 2 é irracional); Regras de inferência introdução da contradição e eliminação da contradição; Exemplos (incluindo modus tollendo ponens).
Formas Normais
11 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 27, 28 e 29.