En lògica matemàtica, una clàusula és una disjunció de literals. En càlcul proposicional, normalment s'escriuen de la forma: on cada , amb , és un literal.…
En lògica matemàtica, una clàusula és una disjunció de literals. 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
Vegeu també Clàusula de Horn
Categoria:Lògica matemàtica
Na podstawie: Wikipedia — Clàusula (lògica) · historia autorów.
Tekst: CC BY-SA 4.0.
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.