Abrir menu principal
Text document with red question mark.svg
Este artigo ou secção contém fontes no fim do texto, mas que não são citadas no corpo do artigo, o que compromete a confiabilidade das informações (desde fevereiro de 2015). Ajude a melhorar este artigo inserindo fontes.

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 regrasEditar

Suponha 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ênciasEditar

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