Konsistens

Wikipedia

Konsistens används för att beskriva en egenskap hos ett föremål eller vätska. En vätska kan tex vara trögflytande. På frågan om vilken konsistens vätskan har så är då det naturliga svaret - trögflytande. Se även viskositet.

I samband med användandet av det engelska ordet consistency så har konsistens använts som den svenska översättningen.

I datorrelaterade sammanhang används termen 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.