The intrinsic Boolean represents boolean values, i.e. it can only assume true and false (which are predefined constants). This type corresponds to the enumerated type
     type
       Boolean = (False, True);
   Since it is declared this way, it follows:
     Ord (False) = 0
     Ord (True) = 1
     False < True
   There are four intrinsic logical operators. The logical and,
 or and not. In Borland Pascal and GNU Pascal, there is
 a logical “exclusive or” xor.
Enumerated Types, and, or, not, xor