Vanligvis brukes i setningslogikken kun to : «sann» og «usann». I løpet av 1900-tallet ble det imidlertid utviklet flere former for flerverdilogikk. Disse tar hensyn til ubestemthet (f.eks. intuisjonistisk logikk), uskarphet (kvantelogikk) og usikkerhet (fuzzy-logikk).