Cláusula (lógica)

En lógica matemática, una cláusula ye una disyunción de lliterales. En cálculo proposicional, de normal escríbense de la forma:

onde cada , con  ye un lliteral.

Análogamente, llámase cláusula conxuntiva a una conjunción de lliterales:

 Ver tamién 
 Cláusula de Horn

 Referencies 

 Enllaces esternos 
 Terminoloxía rellacionada con cláusulas lógicas  (n'inglés)
 Término "cláusula" simultáneamente traducíu a diversos llinguaxes y significaos  (n'inglés)

Categoría:Lógica proposicional
Categoría:Programación lógica