Lógica de predicados: diferenças entre revisões

Na [[lógica matemática]], A '''LógicaLógia 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".