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).