Sumários
Aula 12 (TP14)
2 Novembro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 49 (algumas alíneas), 53, 55, 57(1) e 59.
AULA 13
31 Outubro 2017, 10:30 • Fernando Ferreira
Modus ponens, modus tollens. Método da demonstração condicional. Exemplos. A locução "As seguintes condições são mutuamente equivalentes". As regras de eliminação e introdução do condicional. Um exemplo de dedução formal com o condicional.
TP13
31 Outubro 2017, 08:00 • Fernando Ferreira
Exrecícios 44(1), 54, 55, 57(1) e 59. Resolução do exercício 51a(5).
Aula 12 (TP12)
30 Outubro 2017, 12:00 • Maria da Purificação Antunes Coelho
Exercícios 49 (algumas alíneas), 53, 55, 56, 57(1), 58 e 59.
Aula 13 (TP13)
30 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 49 (algumas alíneas), 53, 55, 57(1), 58, 59 e 44(2).