Sumários
AULA 6
9 Outubro 2018, 10:30 • Fernando Ferreira
A noção de tt-consequência. Regras de introdução e eliminação num sistema de dedução natural. As regras de introdução e eliminação da conjunção, (^Intro) e (^Elim) respetivamente. A regra de introdução da disjunção (vElim). A regra de eliminação da disjunção (vElim), também conhecida por discussão por casos. Exemplos. As regras de introdução e eliminação da igualdade, (=Intro) e (=Elim) respetivamente. A simetria e a transitividade da igualdade. Exemplos.