AULA 9
18 Outubro 2016, 10:30 • Fernando Ferreira
Regras de eliminação e da introdução da negação. Esta última é o método de demonstração por contradição ou método de redução ao absurdo. Exemplos, incluindo o exemplo da demonstração da irracionalidade da raíz quadrada de 2.
Introdução ao sistema de dedução natural de Fitch. As regras de introdução e eliminação da conjunção. Dois exemplos muito simples de deduções formais.