AULA 17
18 Novembro 2016, 09:30 • Fernando Ferreira
Correção e completude do método de resolução. O método de resolução como método de dedução. Exemplos.
A dedução da lei do terceiro excluído no sistema de dedução de Fitch.
* Chegou-se ao fim da matéria do cálculo proposicional *