Целый тип | Логический | Символьный | Тип-диапазон | Перечисляемый | Массивы | Записи |
Логический тип
Значениями логического типа может быть одна из предварительно объявленных констант 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 ....