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 (n'inglés)
• Término "cláusula" simultáneamente traducíu a diversos llinguaxes y significaos (n'inglés)

• Datos: Q1228746