AULA 8
13 Outubro 2017, 09:30 • Fernando Ferreira
Demonstração (pelo método da contradição) de que a raíz de 2 não é um número racional.
As regras informais de introdução e eliminação (ex falso quodlibet) da contradição.
Introdução ao sistema formal de dedução natural de FItch. As regras (formais) de introdução e eliminação da conjunção. Um exemplo (muito) simples.