## [Teoría de Horn](/es/node/63583) Definición Una teoría de primer orden cuyos axiomas son oraciones de Horn: fórmulas universales que son implicaciones desde una conjunción de fórmulas atómicas hacia una única fórmula atómica (posiblemente la falsedad). ## Principio Principio Restringir los axiomas a cláusulas de Horn preserva propiedades de cierre (productos, subestructuras, imágenes homomorfas bajo condiciones) y define un fragmento del primer orden adecuado para la construcción de modelos y el razonamiento computacional. ## Demostración Demostración La clase de grafos que satisfacen un conjunto de oraciones de Horn que afirman que ciertos patrones de adyacencia implican la existencia de un vecino forma una teoría de Horn: cada axioma tiene la forma Para todo x,y,... (E(x,y) ∧ ... → E(z,w)). ## Aplicación incorrecta Aplicación incorrecta Tratar cualquier implicación universal con disyunciones en el consecuente o múltiples átomos positivos como axioma de Horn; eso rompe las propiedades de cierre específicas de Horn y puede invalidar garantías algorítmicas. ## Consecuencia Consecuencia Los modelos de una teoría de Horn son cerrados por colímites dirigidos y ciertos productos, de modo que se pueden construir modelos libres o mínimos por procedimientos sintácticos o de cierre iterativo; computacionalmente, los fragmentos de Horn suelen admitir procedimientos eficientes. ## Inversión Inversión El reverso es una teoría de primer orden arbitraria con fórmulas generales (por ejemplo, que contienen disyunciones o existenciales en posiciones no-Horn), que carece de las propiedades constructivas de cierre y muestra un comportamiento model-teórico distinto. ## Límite Límite Se aplica solo a axiomas de primer orden que se pueden escribir como oraciones universales de Horn; excluye axiomas que requieren disyunciones en el consecuente, cuantificadores existenciales no eliminables por skolemización y enunciados de orden superior. ## Tensión semántica Tensión semántica La teoría de Horn compite con las teorías ecuacionales (universales ecuacionales): ambas son fragmentos universales pero las ecuacionales imponen igualdades atómicas mientras que las de Horn permiten predicados atómicos generales, produciendo compensaciones distintas entre expresividad y cierre. ## Síntesis Síntesis La Teoría De Horn es el conjunto de teorías de primer orden axiomáticas por implicaciones universales entre conjunciones de átomos y una conclusión atómica; la idea organizadora es que dicha restricción sintáctica confiere propiedades algebraicas y computacionales útiles para la construcción y el análisis de modelos.