W językach programowania tylko zmienna jednego typu wbudowanego może przyjmować wyłącznie dwie wartości. Jest to typ

Wyjaśnienie

Tylko dwie wartości może przyjąć typ LOGICZNY (boolean): prawdę (true) albo fałsz (false). Używa się go w warunkach i wyrażeniach decyzyjnych. Dlatego dwuwartościowy jest typ logiczny.