Логічні дані використовуються при перевірки правильності умови і при порівнянні величин. Результат може виявитися істинним TRUE (істина) або ложнимFALSE (помилково). Значення займають 1 байт пам'яті.
Для порівняння величин використовуються операції відносини: <, <=, =, <>,> =,>, Причому FALSE
Визначено функції перетворення:
SUCC (FALSE) = TRUE PRED (TRUE) = FALSE
SUCC (TRUE) = невизначено PRED (FALSE) = TRUE
Визначено логічні операції: AND, OR, NOT
OR або AND виконуються над двома величинами, NOT - над однією.
Результат операцііOR - істина, якщо хоча б одна з величин має значення істина. Результат операції AND - істина, якщо істини обидві величини.
4.6 Перераховуються тип.
Перераховуються тип визначається як впорядкований набір ідентифікаторів, заданих шляхом їх перерахування. При цьому список ідентифікаторів, розділених комою, вказується в круглих дужках.
Day = (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday);
Кожне значення в списку отримує свій порядковий номер, починаючи з нуля, тому до цього типу може бути застосована функція Ord
Ord (Monday) = 0, Ord (Tuesday) = 1 і т.д.
Істотним недоліком перелічуваних типів даних є те, що їх значення не можуть вводиться оператором ReadLn і виводиться оператором WriteLn. Щоб усунути цей недолік, доводиться оголошувати додаткові службові змінні.
4.7 Інтервальний тип.
Інтервальний тип даних визначається за допомогою завдання підмножини значень одного з раніше визначених типів. Діапазон значень змінної інтервального типу задається за допомогою будь-якого простого типу даних за винятком речового.
MyType = 0..1000; ми оголосили новий тип з діапазоном значень від 0 до 1000.
При виконанні програми спроба привласнити такої змінної значення, що не входить в інтервал допустимих значень, кваліфікується як помилка і призводить до припинення роботи програми і видачі відповідного повідомлення.