Sentença (lógica matemática): diferenças entre revisões
Etiquetas: Repetição de caracteres Editor Visual |
bot: revertidas edições de 186.241.17.114 ( modificação suspeita : -69), para a edição 37815519 de Dbastro |
||
| Linha 1: | Linha 1: | ||
{{Sem imagem|ci|data=abril de 2013}} |
|||
{{ver desambig||sentença (desambiguação)}} |
{{ver desambig||sentença (desambiguação)}} |
||
| Linha 11: | Linha 11: | ||
O exemplo a seguir está em [[lógica de primeira ordem]]. |
O exemplo a seguir está em [[lógica de primeira ordem]]. |
||
:<math>\forall y\exists x (x^2=y)</math> |
:<math>\forall y\exists x (x^2=y)</math> |
||
''é'' 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: |
''é'' 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> |
:<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. |
''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. |
||
| Linha 26: | Linha 26: | ||
==Referências== |
==Referências== |
||
* {{cite book | author = Hinman, P. | title = Fundamentals of Mathematical Logic | publisher = A K Peters | year = 2005 | isbn = 1-56881-262-0}} |
* {{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}}. |
* {{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}} |
{{Esboço-lógica}} |
||
Revisão das 18h06min de 12 de maio de 2015
Nota: Para outros significados, veja sentença (desambiguação).Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres. Uma sentença pode ser vista como o expressar uma proposição, algo que possa ser falso ou então verdadeiro. A restrição de não possuir variáveis livres é necessária para assegurar que sentenças possam ter valores verdade concretos e fixos: Como as variáveis livres de uma fórmula (geral) podem assumir diversos valores, o valor verdade de tal fórmula pode variar.
Sentenças sem quaisquer conectivos lógicos ou quantificadores são conhecidas como sentenças atômicas; por analogia a fórmula atômica. Sentenças são, então, construídas a partir de sentenças atômicas por meio da aplicação de conectivos e quantificadores.
Um conjunto de sentenças é chamado de teoria; assim, sentenças individuais podem ser chamadas teoremas. Para avaliar corretamente a verdade (ou falsidade) de uma sentença, é preciso fazer referência a uma interpretação da teoria. Para teorias de primeira-ordem, interpretações são comumente chamadas estruturas. Dada uma estrutura ou interpretação, uma sentença tem um valor verdade fixo. Uma teoria é satisfatível quando todas suas sentenças são verdade.
Exemplo
O exemplo a seguir está em lógica de primeira ordem.
é 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 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.
Ver também
Referências
- Hinman, P. (2005). Fundamentals of Mathematical Logic. [S.l.]: A K Peters. ISBN 1-56881-262-0
- Rautenberg, Wolfgang (2010), A Concise Introduction to Mathematical Logic, ISBN 978-1-4419-1220-6 3rd ed. , New York: Springer Science+Business Media, doi:10.1007/978-1-4419-1221-3.
