b"\n_START_ARTICLE_\nWaarheidswaarde\n_START_PARAGRAPH_\nIn de wiskunde en de logica is de waarheidswaarde van een propositie de waarde die aangeeft in welke mate de propositie waar is._NEWLINE_In de klassieke logica zijn waar en onwaar de enige mogelijke waarheidswaarden van een propositie (ook bekend als de wet van de uitgesloten derde). In andere logica's, zoals in fuzzy logic en andere meerwaardige logica's, zijn er meer waarheidswaarden._NEWLINE_De verzameling { waar, onwaar } vormt een booleaanse algebra met twee elementen. Andere algebra's kunnen een andere verzameling waarheidswaarden gebruiken. De intu\xc3\xaftionistische logica maakt bijvoorbeeld gebruik van Heyting-algebra's."