Abrir menu principal

Alterações

7 bytes adicionados ,  18h32min de 20 de agosto de 2015
nada
''é'' 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'' é 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}}.
 
{{Esboço-lógica}}mentira [[Categoria:Lógica matemática]]
 
[[Categoria:Lógica matemática]]
Utilizador anónimo