lógica de predicados

Para o termo específico, ver Lógica de primeira ordem Na lógica matemática, a lógica de predicados é um termo genérico para 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órmulas contêm variáveis que podem ser quantificadas. Dois quantificadores comuns são: os quantificadores existencial ∃ ("existe um") e universal ∀ ("para todo"). As variáveis poderiam ser elementos no 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. Na lógica de predicados também se incluem lógicas misturando operadores modais e quantificadores. Ver lógica modal, Saul Kripke, fórmulas Barcan Marcus, A. N. Prior e .