Clàusula (lògica)

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

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

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

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

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

Referències

1. Chang, Chin-Liang; Richard Char-Tung Lee. Symbolic Logic and Mechanical Theorem Proving. Academic Press, 1973, p. 48. ISBN 0-12-170350-9. 
2. «Clause (logic) - ArticleWorld». [Consulta: 7 gener 2019].

Vegeu també

• Clàusula de Horn