AULA 7

12 Outubro 2018, 09:30 • Fernando Ferreira

Método da desmontrsção por contradição ou seja, a regra (~Intro). Exemplos, inclusive a demonstração de que a raiz quadrada de 2 não é um número racional. A regra (~Elim). O símbolo da contradição. Regras de introdução e de eliminação da contradição.