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:

$l_{1}\vee \cdots \vee l_{n}$

onde cada $l_{i}$, con $i=\{1,...,n\}$ ye un lliteral.

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

$l_{1}\wedge \cdots \wedge l_{n}$

Ver tamién

• Cláusula de Horn

Enllaces esternos

• Terminoloxía rellacionada con cláusulas lógicas Archiváu 2012-04-20 en Wayback Machine (n'inglés)
• Término "cláusula" simultáneamente traducíu a diversos llinguaxes y significaos Archiváu 2011-07-11 en Wayback Machine (n'inglés)

• Datos: Q1228746