Flervärd logik

Logik, Formellt system
  • Bivalent logik
  • Boolesk algebra
  • Deontisk logik
  • Filosofisk logik
  • Flervärd logik
  • Matematisk logik
  • Metalogik
  • Modallogik
  • Satslogik
  • Temporal logik
Logiska system
  • Deontisk logik
  • Intuitionistisk logik
  • Klassisk logik
  • Kontemporär logik
  • Linjär logik
  • Parakonsistent logik
  • Predikatlogik
  • Relationell logik
  • Relevanslogik
  • Sannolikhetslogik
  • Satslogik
  • Substrukturell logik
  • Suddig logik (fuzzy logic)
  • Syllogistisk logik
Denna tabell: visa • redigera
 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.

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.