Lógica de primer orden

HONGOS

La lógica de primer orden, también llamada 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.1 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 funcionescuyos argumentos son sólo constantes o variables de individuo.2

La lógica de primer orden tiene el poder expresivo suficiente para definir a prácticamente todas las matemáticas.

Deja una respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *