En lóxica matemática, una cláusula ye una disyunción de lliterales. En cálculu proposicional, de normal escríbense de la forma:
onde cada , con ye un lliteral.
Análogamente, llámase cláusula conxuntiva a una conxunció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óxica proposicional Categoría:Programación lóxica