Lógica de predicados

Imagem: Nestor Cabrero · BY-SA · Openverse

Símbolos de cálculos de predicados podem representar tanto variáveis, constantes, funções ou predicados. Uma expressão da funçã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: todas as expressões acima são expressões bem-formadas (EBF). Lógica de predicados podem ser visualizadas sintaticamente pela gramática de Noam Chomsky. Como tal, lógica de predicados (assim como lógicas modais e mistura de modais da lógica de predicados) podem ser vistas numa gramática sensível ao contexto, ou mais tipicamente livre de contexto. Cada um dos quatro tipos da gramática de Chomsky têm uma equivalência na Teoria dos autômatos, portanto estas lógicas podem ser vistas como autômatos também.