Abrir menu principal

Alterações

249 bytes removidos ,  18h06min de 12 de maio de 2015
bot: revertidas edições de 186.241.17.114 ( modificação suspeita : -69), para a edição 37815519 de Dbastro
QUALQUER UM PODE EDITAR AQ !!!!!!!!!!!!!!!!!!!!{{Sem imagem|ci|data=abril de 2013}}
{{ver desambig||sentença (desambiguação)}}
 
O exemplo a seguir está em [[lógica de primeira ordem]].
 
:<math>\forall y\exists x (x^2=y)</math>QUALQUER UM EDITA AQ !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 
''é'' uma sentença. Essa sentença é verdadeira nos [[números reais]] positivos, falsa nos números reais e verdadeira nos números complexos. (Em português, essa sentença é interpretada para dizer que todo o número da estrutura é o [[Quadrado (aritmética)|quadrado]] de um membro daquela estrutura particular). Por outro lado, a fórmula:
 
:<math>\exists x(x^2=y)</math>NÃO FAÇA PESQUISAS AQ!!!!!!!!!!!!!!!!!!!!!!!!!! AQ PODE EDITAR!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
 
''não'' é uma sentença, por causa da pensença da variável livre ''y''. Na estrutura dos números reais, essa fórmula é verdadeira se substituirmos (arbitrariamente) ''y'' = 2, mas falsa se ''y'' = -2.
==Referências==
* {{cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = A K Peters | year = 2005 | isbn = 1-56881-262-0}}
* {{Citation|last=Rautenberg|first=Wolfgang|authorlink=Wolfgang Rautenberg|doi=10.1007/978-1-4419-1221-3|title=A Concise Introduction to Mathematical Logic|url=http://www.springerlink.com/content/978-1-4419-1220-6/|publisher=[[Springer Science+Business Media]]|location=[[New York City|New York]]|edition=3rd|isbn=978-1-4419-1220-6|year=2010}}.QUALQUER UM EDITA AQ!!!!
 
{{Esboço-lógica}}