Sentença (lógica matemática): diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m adicionou Categoria:Lógica matemática; removeu {{sem cat}} usando HotCat |
Ajustes |
||
Linha 9:
== Exemplo ==
O exemplo a seguir está em [[lógica de primeira ordem]].
Linha 20 ⟶ 19:
''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
*
*
*
==Referências==
Linha 29 ⟶ 28:
* {{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}}
[[Categoria:Lógica matemática]]
| |||