AULA 13
2 Novembro 2018, 09:30 • Fernando Ferreira
As regras formais de introdução e eliminação do condicional.Exemplos de deduções formais com o condicional. As regras formais de introdução e eliminação do bicondicional. Um exemplo. As regras formais de introdução e eliminação da igualdade. Exemplos (incluindo simetria e transitividade). Fórmulas (ou sentenças) de Horn.