Lógica de primer orden

Jun 14, 2019 Definiciones

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, 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 solo a variables de individuo, y con predicados y funciones cuyos argumentos son solo constantes o variables de individuo.

La lógica de primer orden tiene un poder expresivo muy superior al de la lógica proposicional.

Francisco Paredes Parralejo

PorFrancisco Paredes Parralejo

Consultor web, podéis ver los trabajos desde la web http://sutilweb.com