AULA 14

3 Novembro 2017, 09:30 • Fernando Ferreira

Outro exemplo de uma dedução formal que usa o (->Intro). As regras de introdução e eliminação do bicondicional (equivalência material). As regras de introdução e eliminação da igualdade. Um exemplo. Deduções formais da simetria e transitividade da igualdade.