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.
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.