Sentença (lógica matemática): diferenças entre revisões

''é'' 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:

 

 

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

* {{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}}.