Definición

Una fórmula en lógica de predicados es una expresión que se puede obtener mediante alguna de las formas siguientes: i) p(x1, x2, … ,xn) donde p es un símbolo que representa un predicado y x1, x2, … ,xn son símbolos de variable.ii) (¬ F) donde F es una fórmula de lógica de predicados.iii) (F G) donde F y G son fórmulas de lógica de predicados y es cualquiera de los operadores ^, v, →, ↔iv) (∀ x) F, donde F es un fórmula en lógica de predicados.v) (∃ x) F, donde F es un fórmula en lógica de predicados.
Nota: El paréntesis encerrando las expresiones en (ii) y (iii) es con el fin de evitar ambigüedades en las interpretaciones igual que en lógica de proposiciones,