Sumários
Aula 10 - TP12
24 Outubro 2016, 12:00 • Maria da Purificação Antunes Coelho
Entrega do miniteste e correção de algumas questões do mesmo. Resolução dos exercícios 39(1), 39(2), 39(3), 40 e 41.
Aula 9 - TP13
24 Outubro 2016, 08:00 • Maria da Purificação Antunes Coelho
Entrega do miniteste e correção de algumas questões do mesmo. Resolução dos exercícios 33, 39(2), 39(3), 40, 41 e 42.
Aula 10
21 Outubro 2016, 09:30 • Fernando Ferreira
Continuação da apresentação das regras do sistema (formal) de dedução de Fitch. Regra de introdução da disjunção. Regra da eliminação da disjunção (discussão por casos). A noção de sub-dedução. Exemplos variados. Regra de reiteração. Regras da introdução e eliminação da contradição. As subdeduções apenas se podem invocar in toto. Regra da eliminação da negação. Regra da introdução da negação (método da demonstração por contradição). Um exemplo simples.
9 TP11
21 Outubro 2016, 08:00 • Fernando Ferreira
Exercício 33 (finalização). Exercícios 34, 35, 37 e 39(a). Começo do 36.