Sumários
Aula 10 (TP13)
18 Outubro 2017, 08:00 • Maria da Purificação Antunes Coelho
Exercícios 34, 35, 39 (conclusão) e 40. Início do exercício 43(3).
AULA 9
17 Outubro 2017, 10:30 • Fernando Ferreira
Regras formais de introdução e eliminação (demonstração por casos) da disjunção. Exemplos. A regra da reiteração. Exemplo. As regras de introdução e eliminação (ex falso quodlibet, ou princípio da explosão) da contradição. Exemplo. Discussão duma dedução errada (as sub-deduções apenas podem ser mencionadas em bloco).