Predicado (lógica matemática) - Predicate (mathematical logic)

Na lógica , um predicado é um símbolo que representa uma propriedade ou uma relação. Por exemplo, na fórmula de primeira ordem , o símbolo é um predicado que se aplica à constante individual . Da mesma forma, na fórmula, o predicado é um predicado que se aplica às constantes individuais e .

Na semântica da lógica , os predicados são interpretados como relações . Por exemplo, em uma semântica padrão para lógica de primeira ordem, a fórmula seria verdadeira em uma interpretação se as entidades denotadas por e estivessem na relação denotada por . Uma vez que predicados são símbolos não lógicos , eles podem denotar relações diferentes dependendo da interpretação usada para interpretá-los. Enquanto a lógica de primeira ordem inclui apenas predicados que se aplicam a constantes individuais, outras lógicas podem permitir predicados que se aplicam a outros predicados.

Predicados em diferentes sistemas

Veja também

Referências

links externos