Cláusula (lógica)

En lógica matemática, una cláusula es una expresión formada por una colección finita de literales (variables o sus negaciones) que es verdadera cuando es verdadero al menos uno de los literales que la forman. En lógica proposicional, normalmente las cláusulas son descritas como una disyunción de literales $l_i$:

$l_1\vee \cdots \vee l_n$

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

$l_1\wedge \cdots \wedge l_n$

Véase también

• Cláusula de Horn

Enlaces externos

• Terminología relacionada con cláusulas lógicas (en inglés)
• Término "cláusula" simultáneamente traducido a diversos lenguajes y significados (en inglés)