En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma:
donde cada li, con i = {1,...,n} es un literal.
Análogamente, se llama cláusula conjuntiva a una conjunción de literales:
Wikimedia foundation. 2010.
Cláusula de Horn — En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas… … Wikipedia Español
Cláusula — El término cláusula puede referirse a: En música: Cláusula En lingüística: Cláusula sintáctica En lógica: Cláusula Cláusula de Horn En derecho: Cláusula penal Cláusula de exclusión Cláusula de revisión salarial Cláusula sobre Protección… … Wikipedia Español
Lógica de bucle temporal — La Lógica de Bucle Temporal (aunque recurrencia temporal es mas correcto) es un sistema de computación que requiere una computadora capaz de enviar datos hacia atrás en el tiempo, se fundamenta en el Principio de autoconsistencia de Novikov para… … Wikipedia Español
Null (SQL) — Null (nulo) es un marcador especial usado en el lenguaje de consulta estructurado (SQL) para indicar que no existe un valor dentro de una base de datos. Introducido por el creador del modelo relacional de bases de datos E. F. Codd, su función es… … Wikipedia Español
Problema de satisfacibilidad booleana — Saltar a navegación, búsqueda En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP completo. Se trata de un problema donde… … Wikipedia Español
Algoritmo DPLL — El algoritmo DPLL/Davis Putnam Logemann Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfacibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el… … Wikipedia Español
SQL — Desarrollador(es) IBM ISO/IEC 9075 1:2008 Información general Paradigma Multiparadigma … Wikipedia Español
Condición — (Del lat. conditio, onis, estado, manera de ser < dicere, decir.) ► sustantivo femenino 1 Naturaleza, forma de ser y propiedades físicas de las cosas o de los animales. SINÓNIMO calidad índole naturaleza 2 Modo de ser y de comportarse… … Enciclopedia Universal
Relaciones internacionales de la Unión Europea — Representantes europeos durante la crisis sobre el programa nuclear iraní. Se entiende como acción exterior de la Unión (AE) el conjunto de políticas, instrumentos y capacidades con proyección esencialmente exterior que ejercita o lleva a cabo la … Wikipedia Español
Fórmula atómica — En lógica matemática, una fórmula atómica es una fórmula bien formada que no tiene una estructura formal más profunda. Esto es, una fórmula que no contiene constantes lógicas, o equivalentemente, una fórmula que no tiene subfórmulas estrictas. De … Wikipedia Español
