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