Clàusula (lògica)

En lògica matemàtica, una clàusula és una disjunció de literals. En càlcul proposicional, normalment s'escriuen de la forma:

$l_1\vee \cdots \vee l_n$

on cada $l_i$, amb $i=\{1,...,n\}$, és un literal.

Anàlogament, s'anomena clàusula conjuntiva a una conjunció de literals:

$l_1\wedge \cdots \wedge l_n$

Vegeu també

• Clàusula de Horn