AULA 10

20 Outubro 2017, 09:30 • Fernando Ferreira

Regras formais da introdução (método da demonstração por contradição) e eliminação da negação. Discussão de vários exemplos de deduções formais.