Regras de tradução lógica
Este artigo ou secção contém uma lista de referências no fim do texto, mas as suas fontes não são claras porque não são citadas no corpo do artigo, o que compromete a confiabilidade das informações. (Fevereiro de 2015) |
Na lógica matemática, as regras de tradução ditam como os quantificadores se distribuem através dos conectivos lógicos básicos da lógica de primeira ordem. As regras de tradução determinam como qualquer fórmula da lógica de primeira ordem podem ser transformadas na forma normal prenex, e vice-versa.
Tais regras tem origem de escritos do francês Jacques Herbrand.
As regras
editarSuponha que e denotem ∀ e ∃, ou vice-versa. Suponha também que β é uma fórmula fechada na qual não faz parte.
Então, são verdadeiras as seguintes traduções, bicondicionais:
Além das traduções anteriores, temos as seguintes condicionais:
Referências
editar- Willard Quine, 1982. Methods of Logic, 4th ed. Harvard Univ. Press.
- Jean Van Heijenoort, 1967. From Frege to Gödel: A Source Book on Mathematical Logic. Harvard Univ. Press.