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.