Em
lógica matemática, uma
sentença de uma
lógica de predicados é uma
fórmula bem formada com valor booleano e sem
variáveis livres. Uma sentença pode ser vista como o expressar uma
proposição, algo que possa ser falso ou então verdadeiro. A restrição de não possuir variáveis livres é necessária para assegurar que sentenças possam ter
valores verdade concretos e fixos: Como as variáveis livres de uma fórmula (geral) podem assumir diversos valores, o valor verdade de tal fórmula pode variar.