AULA 8

14 Outubro 2016, 09:30 • Fernando Ferreira

Discussão por casos (ou eliminação da disjunção). Mais um exemplo e conclusão.

As regras de introdução e eliminação da igualdade. Exemplo.