Typ logiczny (boolean) może przyjąć jedynie dwie wartości: true (prawda) i false (fałsz). Jest to fundamentalna zasada w programowaniu, ponieważ zmienne logiczne są podstawą operacji warunkowych, pętli oraz sterowania przepływem programu. W językach takich jak C++, Java, Python i wielu innych, wartości logiczne pozwalają na budowanie złożonych struktur decyzyjnych. Dzięki nim programista może precyzyjnie kontrolować, które fragmenty kodu zostaną wykonane, co jest kluczowe w implementacji algorytmów oraz walidacji danych.
Wartości 1 i -1 mogą być interpretowane jako prawda/fałsz w niektórych językach, takich jak C, ale nie są standardowymi wartościami typu boolean. Wartości 0 lub dowolna liczba całkowita mogą być stosowane w kontekście warunków, ale nie są typowymi wartościami logicznymi. Trzy dowolne liczby naturalne nie mają żadnego związku z typem logicznym – typ boolean zawsze przyjmuje dokładnie dwie wartości, co odróżnia go od typów numerycznych.