La lógica de primer orden puede hablar de individuos y de relaciones entre ellos
La lógica de primer orden es un lenguaje formal que amplía la lógica proposicional con variables, predicados, funciones, identidad y cuantificadores sobre individuos. Mientras la proposicional trata “llueve” como una unidad, primer orden puede expresar “toda persona admira a alguien” y distinguir quién admira a quién. También representa relaciones entre varios objetos. Se llama primer orden porque las variables cuantificadas recorren objetos del dominio, no propiedades o conjuntos de objetos. Su fuerza depende del vocabulario y de la interpretación elegida.
Un lenguaje puede contener constantes como a, predicados P(x), relaciones R(x,y) y funciones f(x). Los conectivos ¬, ∧, ∨, → conservan su papel. ∀x significa “para todo objeto x” y ∃x “existe algún objeto x”. La fórmula es sintaxis; solo adquiere verdad al fijar un dominio y asignar significado a sus símbolos.
Cambiar el orden de los cuantificadores cambia lo que se afirma
∀x∃y Ama(x,y) dice que cada individuo ama a alguien, quizá distinto. ∃y∀x Ama(x,y) afirma que existe una misma persona amada por todos. Las dos fórmulas usan palabras parecidas y no son equivalentes. Paréntesis y alcance determinan qué variables liga cada cuantificador; una variable libre funciona como parámetro y una oración cerrada no deja variables libres.
Traducir lenguaje natural exige decidir el dominio. “Todos vuelan” puede formalizarse ∀x Vuela(x) si el dominio son aves, o ∀x(Ave(x) → Vuela(x)) si incluye cualquier cosa. La segunda forma permite excepciones o contraejemplos explícitos. Una formalización no descubre automáticamente la interpretación correcta: hace visibles decisiones que el lenguaje cotidiano deja implícitas.
La identidad permite afirmar que dos nombres designan el mismo objeto o que existen individuos diferentes. Las funciones representan operaciones que devuelven un individuo, como “madre de”, mientras los predicados expresan propiedades o relaciones. Cada símbolo posee una aridad fija. Usar R(x) unas veces como propiedad y otras como relación binaria rompe la gramática. La disciplina formal evita ambigüedad precisamente fijando vocabulario antes de razonar.
Una fórmula puede ser verdadera en un modelo y falsa en otro
Un modelo contiene un dominio no vacío y una interpretación para constantes, funciones y relaciones. La satisfacción se define recursivamente: evaluamos términos, fórmulas atómicas, conectivos y cuantificadores. Una fórmula es válida si resulta verdadera en todos los modelos; un argumento es válido si no existe modelo donde las premisas sean verdaderas y la conclusión falsa.
Esta semántica distingue verdad lógica de verdad factual. ∀x(P(x) ∨ ¬P(x)) es válida en lógica clásica; ∀x P(x) dependerá del modelo. Buscar un contramodelo suele ser la forma más clara de mostrar invalidez. La lógica proposicional usa tablas finitas para un número finito de letras; primer orden puede tener dominios infinitos y no se decide con una tabla ordinaria.
Los sistemas de prueba capturan exactamente las consecuencias semánticas, con un límite decisivo
Deducción natural, cálculo de secuentes y sistemas axiomáticos proporcionan reglas para introducir o eliminar cuantificadores. La corrección garantiza que una prueba no deriva conclusiones inválidas. El teorema de completitud de Gödel afirma que toda consecuencia válida de primer orden puede demostrarse en un sistema adecuado. No debe confundirse con los teoremas de incompletitud sobre teorías aritméticas suficientemente expresivas.
Completitud no vuelve decidible la validez general. Si una fórmula es válida, una búsqueda sistemática puede acabar encontrando prueba; si no lo es, la búsqueda puede continuar indefinidamente. Fragmentos concretos sí son decidibles. La compactación y Löwenheim-Skolem explican a la vez potencia y límites: si cada subconjunto finito de una teoría tiene modelo, toda la teoría lo tiene; teorías con modelos infinitos suelen tener modelos de varios tamaños.
Un ejemplo de prueba cuantificada exige respetar restricciones. De ∀x P(x) podemos instanciar P(a) para cualquier término admisible. Para demostrar ∀x P(x), el objeto elegido debe ser arbitrario y no depender de una suposición especial. Con ∃x P(x) sabemos que hay testigo, pero no podemos asignarle sin más un nombre ya cargado de propiedades. Estas condiciones evitan que una intuición válida para un caso se convierta ilegítimamente en universal.
Matemáticas e informática la usan porque equilibra expresividad y control
La lógica de primer orden formaliza axiomas de grupos, órdenes, grafos y aritmética, y fundamenta teoría de modelos. En informática aparece en bases de datos, verificación, representación de conocimiento y demostradores automáticos. Una consulta relacional puede verse como fórmula sobre filas y relaciones. Los sistemas prácticos restringen sintaxis o dominio para asegurar que responder sea computable con recursos razonables.
No expresa directamente “para toda propiedad” ni ciertas nociones de finitud con una única teoría que excluya todos los modelos infinitos. Lógicas de segundo orden, modales o temporales añaden recursos y cambian propiedades metateóricas. Elegir una lógica es elegir qué distinciones expresar y qué garantías conservar. Primer orden sigue siendo central porque sus cuantificadores describen estructuras ricas sin perder corrección, completitud y herramientas maduras de prueba.
La igualdad añade axiomas o reglas que garantizan reflexividad y sustitución: si a = b, una propiedad de a puede trasladarse a b bajo condiciones adecuadas. El supuesto de nombres únicos, común en bases de datos, no pertenece automáticamente a la lógica: a y b podrían designar el mismo individuo. Tampoco se supone que todo objeto tenga nombre. Estos detalles importan al traducir información, porque una fórmula puede permitir modelos inesperados si no se expresan existencia, diferencia o cierre del dominio.
