AULA 17

14 Novembro 2017, 10:30 • Fernando Ferreira

Demonstrações indiretas (não intuicionistas). A dedução formal da lei do terceiro excluído. A correção e a completude do sistema de Fitch para o cálculo proposicional.