Las expresiones de lógica de primer orden se construyen a partir de un vocabulario básico que contiene variables, símbolos constantes, símbolos predicados y, a veces, símbolos de función. A partir de ...Las expresiones de lógica de primer orden se construyen a partir de un vocabulario básico que contiene variables, símbolos constantes, símbolos predicados y, a veces, símbolos de función. A partir de ellos, junto con las conectivas lógicas, cuantificadores y símbolos de puntuación como paréntesis y comas, se forman términos y fórmulas.