waarheidswaarden
Waarheidswaarden zijn de mogelijke waarden waarmee de waarheid van een propositie kan worden toegekend binnen logische semantiek. In klassieke logica bestaan twee waarden: waar en onwaar. Een toewijzing van deze waarden aan de atomaire proposities noemt men een interpretatie of waardering; deze wordt uitgebreid naar samengestelde formules via de logische connectieven zoals niet, en, of, implicatie en equivalentie. De waarheid van samengestelde formules kan worden bepaald met behulp van waarheidstabellen, die per combinatie van waarden aangeven of de formule waar is.
Naast de traditionele twee-waarde-logica bestaan er systemen met meer dan twee waarden. Drie-waarde-logica introduceert vaak een
Toepassingen: de theorie van waarheidswaarden is fundamenteel in wiskundige logica en computerwetenschap. Het biedt een formeel