Klausul (logik)
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
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[särskiljning behövs] klausuler, alltså negationen av den exklusiva disjunktionen.
🔥 Top keywords: Portal:HuvudsidaSpecial:SökHamid NouryKylian MbappéJohan Floderus (tjänsteman)Antoine GriezmannEuropamästerskapet i fotbollRomelu LukakuEuropamästerskapet i fotboll 2024Ahmadreza DjalaliLasse DidingJude BellinghamEuropamästerskapet i fotboll 2020Special:Senaste ändringarN'Golo KantéFrida NordstrandFrankrikes herrlandslag i fotbollMidsommarJens FjellströmVärldsmästerskapet i fotboll för herrarEwa RoosLilian ThuramSverigeCristiano RonaldoPeter MangsMarcus ThuramOlof MellbergSlovakienZlatan IbrahimovićElisabeth av Bayern (1837–1898)Amanda BergmanOlivier GiroudMarko ArnautovićDavid AlabaBelgiens herrlandslag i fotbollAnnie LeibovitzBelgienRumänienDag Hammarskjöld