Sumários
Formas Normais
9 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 27, 28 e 29.
T7
8 Outubro 2019, 10:30 • Mário Jorge Edmundo
Exemplos de demonstrações com as regras de inferência para a igualdade (incluindo a simetria e a transitividade da igualdade); As regras de inferência reiteração [Reit], introdução da conjunção [^Intro] e eliminação da conjunção [^Elim], introdução da disjunção [vIntro] e eliminação da disjunção [vElim ] (também conhecida por demonstração por casos); Exemplos de demonstrações com as regras de inferência para a conjunção e disjunção (incluindo a existência de números irracionais b e c tais que b^c é racional).
Formas Normais
8 Outubro 2019, 08:00 • Pedro Miguel Nunes da Rosa Dias Duarte
Resolução dos exercícios 23, 24, 25 e 26 (1-6).