Всё о Паскале

Логический тип

Значениями логического типа может быть одна из предварительно объявленных констант FALSE (ложь) или TRUE (истина). Для них справедливы следующие правила:
      ord(False) = О;
      ord(True) = 1;
      False < True;
      succ(False)= True;
      pred(True) = False.

Поскольку логический тип относится к порядковым, его можно использовать в операторе счетного типа, например:
  var
      l : Boolean;
  begin
      for l :- False to True do ....