T_6
7 Outubro 2022, 09:30 • Mário Jorge Edmundo
Regras de inferência: introdução da igualdade, eliminação da igualdade, exemplos (simetria e transitividade da igualdade); reiteração, introdução da conjunção, eliminação da conjunção, introdução da disjunção e eliminação da disjunção, exemplos (comutatividade da disjunção, há números irracionais tais que um elevado ao outro é racional).