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 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 :

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

Véase también[editar]

Enlaces externos[editar]