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.
Breves palavras introdutórias às sentenças de Horn.