Lógica de predicados: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m -maiusculite |
m ajustes usando script |
||
Linha 3:
Na [[lógica matemática]], a '''lógica de predicados''' é um termo genérico para [[sistema formal|sistemas formais]] simbólicos como [[lógica de primeira ordem]], [[lógica de segunda ordem]], ''many-sorted logic'' ou ''infinitary logic''. Este sistema formal se distingue de outros sistemas em que suas [[F%C3%B3rmula_bem_formada| fórmulas]] contêm [[Vari%C3%A1vel_%28matem%C3%A1tica%29| variáveis]] que podem ser [[Quantifica%C3%A7%C3%A3o| quantificadas]]. Dois quantificadores comuns são: os quantificadores [[Quantifica%C3%A7%C3%A3o_existencial|existencial]] ∃ ("existe um") e [[Quantifica%C3%A7%C3%A3o_universal|universal]] ∀ ("para todo"). As variáveis poderiam ser elementos no [[Universo_de_discurso|domínio do discurso]], ou talvez as relações ou funções sobre este universo. Por exemplo, um quantificador existencial sobre um símbolo de função poderia ser interpretado como um modificador "Existe uma função".
No uso informal, o termo "lógica de predicados" ocasionalmente se refere à lógica de primeira ordem. Alguns autores consideram que o '''cálculo de predicados''' seja a forma axiomática da lógica de predicados, e a lógica de predicados para ser derivado de uma informal, num desenvolvimento mais intuitivo.<ref>Dentre esses autores, Stolyar, p. . 166. Hamilton considera tanto para cálculos, porém divide-os em um cálculo informal e um cálculo formal.</ref>
Na lógica de predicados também se incluem lógicas misturando operadores modais e quantificadores. Ver [[lógica modal]], [[Saul Kripke]], fórmulas [[Ruth Barcan Marcus|Barcan Marcus]], [[Arthur_Prior|A. N. Prior]] e [[Nicholas Rescher]].
Linha 22:
todas as expressões acima são expressões bem-formadas (EBF).
Lógica de predicados podem ser visualizadas sintaticamente pela gramática de [[
==Ver também==
| |||