Klausul (logik)
Från Rilpedia
Version från den 17 april 2009 kl. 21.27 av Calle (Diskussion)
Texten från svenska Wikipedia
Klausuler är i satslogiken ett sätt att i steg och med endast behovet av operatorerna
"¬ (icke)" och "∨ (eller)" kunna bilda nya premisser från givna satser.
Exempel 1:
Den materiella implikationen (p → q) kan skrivas som klausulen ¬p ∨ q, alltså icke p eller q.
Man utnyttjar bland annat att konjunktioner av satser är identiskt med att hävda då båda satserna.
Exempel 2:
S:(¬p ∨ q) ∧ (¬q ∨ p)
p1: ¬p ∨ q
p2: ¬q ∨ p
Ovanstående är ekvivalensens klausuler, alltså negationen av den exklusiva disjunktionen.
