Sumários
Aula 16 TP 14
14 Novembro 2018, 09:30 • Maria da Purificação Antunes Coelho
Esclarecimento de dúvidas.
AULA 16
13 Novembro 2018, 10:30 • Fernando Ferreira
O método da resolução como método dedutivo. Exemplo.
Exemplos de deduções formais no sistema de Fitch. Demonstrações indiretas. Exemplos.
16 TP12
12 Novembro 2018, 12:00 • Fernando Ferreira
Exercícios 68, 69 e 77(1).
Resolução do exercício 3 do 2º miniteste de 2016/2017.