Clàusula (lògica)

De la Viquipèdia, l'enciclopèdia lliure

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:

on cada , amb , és un literal.

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

Referències[modifica]

  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].