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.