(typ logiczny, Boolean type, logical type)
elementarny typ danych, znajdujacy odzwierciedlenie w rozkazach maszynowych i realizowany w wiekszosci jezyków programowania wysokiego poziomu, reprezentowany przez dwie wartosci logiczne (boolowskie): true i false oraz wykonywane na nich operacje logiczne. W jezykach nie zawierajacych t.b. (np. jezyk C) przyjmuje sie odpowiedniosci arytmetyczne: wyrazenie jest spelnione, jesli ma wartosc rózna od zera i niespelnione, gdy jego wartosc = 0. Zob. algebra Boole'a.
- typ maszynowy, ( machine type )