Poco común
Lógica de primer orden
sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados, cálculo de predicados o lógica predicativa de cálculo, 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, lo que garantiza que toda inferencia sea computacionalmente decidible. La lógica de primer orden tiene un poder expresivo superior al del Razonamiento deductivo.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis