Sumários
AULA 8
16 Outubro 2018, 10:30 • Fernando Ferreira
O sistema de dedução formal de Fitch. As regras de introdução e de eliminação da conjunção, da disjunção e do sinal da contradição. A regra da reiteração. Vários exemplos. As regras de introdução e eliminação da negação.
9 TP12
15 Outubro 2018, 12:00 • Fernando Ferreira
Respostas a questões dos alunos.
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.