''Para o termo específico, ver [[Lógica de primeira ordem]]
Na [[lógica matemática]], Aa '''Lógicalógica de Predicadospredicados''' é 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ógicaló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]].
== Sintaxe ==
Linha 14:
# '''Funções''' denotam um mapeamento de um ou mais elementos de um conjunto (chamado de ''domínio'' da função) em um único elemento de outro conjunto(o ''alcance'' da função). Elementos do domínio de uma função e o alcance são objetos no mundo de discurso. Todo símbolo de função tem uma associação de ''aridade'', indicando o número de elementos do domínio mapeados em cada elemento do alcance.
Uma ''Expressãoexpressão da Funçãofunção'' é um símbolo de função seguido por seus argumentos. Os argumentos são elementos do domínio de uma função; o número de argumentos é a aridade da função. Os argumentos ficam dentro dos parênteses, separados por vírgulas, por exemplo:
