(o lógica de primer orden, también llamada lógica predicativa, lógica de predicados, L₁), es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Los lenguajes de primer orden son, a su vez, lenguajes formales con cuantificadores que alcanzan sólo a variables de individuo, y con predicados y funciones cuyos argumentos son sólo constantes o variables de individuo.
El cálculo de predicados tiene un poder expresivo muy superior al de la lógica proposicional.
(Wikipedia)