Sumários
AULA 10
20 Outubro 2017, 09:30 • Fernando Ferreira
Regras formais da introdução (método da demonstração por contradição) e eliminação da negação. Discussão de vários exemplos de deduções formais.
Aula 9 (TP12)
19 Outubro 2017, 10:30 • Maria da Purificação Antunes Coelho
Exercícios 39 (alíneas 1, 2 e 3), 40 e 34.
Aula 9 (TP14)
19 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 39 (conclusão), 40, 34 e 35.