Dicionário de Termos Linguísticos

Em lógica de predicados, o predicado faz parte do vocabulário que, combinando-se com os termos (constantes e variáveis individuais), com os conectores e com quantificadores, através de regras sintácticas, explicita as fórmulas bem formadas do sistema. Consoante o número de argumentos sobre o qual um predicado opera, assim será descrito como um predicado de um, dois, três, n lugares. Quando um predicado se combina com uma ou mais variáveis livres, temos uma função proposicional (ou fórmula aberta) e os termos serão os argumentos do predicado. Quando o predicado não contém variáveis livres temos uma proposição (ou fórmula fechada). Numa linguagem lógica, um predicado não precisa de corresponder ao sentido gramatical usado para as línguas naturais.