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).