Sumários
Aula 16 (TP14)
16 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 84, 85, 90, 91, 93(1) e 93(2).
Aula 17 (TP13)
15 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 84, 85, 90, 91 e 93(1).
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.
*Terminou o cálculo proposicional*
Variáveis. Termos. A noção de substituição simultânea de variáveis por termos.