Loading AI tools
Från Wikipedia, den fria encyklopedin
Flervärd logik är en term inom logiken som avser logiska system som hanterar fler sanningsvärden än sann (T) och falsk (F). Ett exempel är trevärd logik, ett annat är suddig logik. Ett vanligt tredje sanningsvärde är okänt (U). Ett fjärde sanningsvärde kan vara motstridigt (#) eller överbestämt för utsagor som samtidigt, men på olika fakta, utvärderats till såväl sann (T) som falsk (F). Ytterligare ett sanningsvärde kan vara att man försökt utvärdera utsagan, men upptäckt att det inte finns tillräckliga fakta för att utvärdera den. Då kan man behöva ytterligare ett sanningsvärde som talar om att det är känt att det är okänt (X). Det senare är förmodligen mest användbart i icke-monoton logik.
Logik, Formellt system |
---|
Logiska system |
|
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2016-08) Å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. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.