Dedução natural para a lógica proposicional: negação e disjunção.

24 Outubro 2017, 18:00 • Ricardo Santos

Dedução natural para a lógica proposicional. Regras para a negação. Eliminação da negação dupla. Introdução da negação: quando a suposição de X conduz a uma contradição, isso é uma prova suficiente de não-X. Exemplos e exercícios. Regras para a disjunção. Introdução da disjunção: basta um dos seus disjuntos ser verdadeiro para que uma disjunção o seja; por isso, se X é verdadeiro, então ‘X ou Y é verdadeiro, qualquer que seja o Y. Eliminação da disjunção: se uma certa fórmula Z é uma consequência de X e também é uma consequência de Y, então Z é uma consequência de ‘X ou Y’. O caso especial em que Z é uma contradição: todas as contradições contam como sendo a mesma. Exemplos de deduções com estas regras.