Cláusula (lógica)

De Wikipedia, la enciclopedia libre
Saltar a: navegación, búsqueda

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 l_i, con i=\{1,...,n\} es un literal, pudiendo estar éste afirmado o negado.

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

l_1 \wedge \cdots \wedge l_n

Véase también[editar]

Enlaces externos[editar]