lógica de primer orden
Sign in to saveAlso known as first-order predicate calculus, predicate logic, quantified logic, predicate calculus, quantificational logic, FOL
sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden
Wikidata facts
- Subclass of
- predicate logic
Show 2 more facts
- Stack Exchange tag
- cs.stackexchange.com/tags/first-order-logic
- studied by
- mathematical logic
via Wikidata · CC0
Article · Español
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 superior al de la lógica proposicional.
Abstract from DBpedia / Wikipedia · CC BY-SA