Cláusula (lógica)

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