Konsistens
Wikipedia
Konsistens är en direktöversättning av engelskans consistent. Ordet används ofta i datorrelaterade beskrivningar, då i den ungefärliga betydelsen fast, jämn, oföränderlig. Inom matematiken kan konsistent användas i betydelsen konsekvent eller följdriktig. Termen används även inom statistik.
Konsistens, inom logiken är en term som används på en satsmängd, axiomuppsättning, teori eller dylikt om man inte kan härleda en motsägelse ur satsmängden, axiomuppsättning, teorin etc. Om man kan härleda en motsägelse är satsmängden istället inkonsistent. Ur en inkonsistent satsmängd följer alla satser som går att formulera i språket.
Exempel. Mängden av satserna
- A /\ B
- A → C
- C → ¬B
är inkonsistent eftersom man kan härleda C /\ ¬C ur dessa satser. Alltså följer alla satser ur dessa, t ex A, ¬A, B → C eller vilka man vill.
