T_6
23 Outubro 2020, 09:30 • Mário Jorge Edmundo
Regras de inferência (ou dedução), estratégias de demonstração; As regras de inferência introdução da igualdade (= Intro) e eliminação da igualdade (= Elim); exemplos (simetria e transitividade da igualdade); As regras de inferência reiteração, introdução da conjunção (/\ Intro ) e eliminação da conjunção (/\ Elim), introdução da disjunção (\/ Intro) e eliminação da disjunção (\/ Elim) ou discussão por casos; exemplos (comutatividade da disjunção, um ad hoc, e há números irracionais b>0 e c tais que b^c é racional).