Topic
colección de sistemas formales utilizados en matemáticas, filosofía, lingüística y ciencias de la computación.
Be the first in the room — members see you arrive.
Join the roomEn matemáticas, filosofía, lingüística y ciencias de la computación, first-order logic (FOL), también llamada predicate logic, predicate calculus o quantificational logic, es un tipo de sistema formal. First-order logic utiliza variables cuantificadas sobre objetos no lógicos, y permite el uso de oraciones que contienen variables. En lugar de proposiciones como "todos los humanos son mortales", en first-order logic se pueden tener expresiones en la forma "para todo x, si x es un humano, entonces x es mortal", donde "para todo x" es un cuantificador, x es una variable, y "... es un humano" y "... es mortal" son predicados. Esto lo distingue de propositional logic, que no utiliza cuantificadores ni relaciones; en este sentido, first-order logic es una extensión de propositional logic.
