Cláusula (lógica)

Cláusula (lógica)

En lógica matemática, una cláusula es una disyunción de literales. En cálculo proposicional, normalmente se escriben de la forma:

l_1 \vee \cdots \vee l_n

donde cada li, con i = {1,...,n} es un literal.

Análogamente, se llama cláusula conjuntiva a una conjunción de literales:

l_1 \wedge \cdots \wedge l_n

Véase también

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Поможем написать курсовую

Mira otros diccionarios:

  • 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

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”