він складений так, що його виконання передбачає

 багаторазове повторення одних і тих же дій

хід його виконання залежить від істинності тих чи інших умов

його команди виконуються в порядку їхнього природного дотримання один за одним незалежно від будь-яких умов

;

Висловлювання вигляду  де  - змінна,  - предикат; 

Логічні операції 

Квантор загальності ()

Квантор існування()

Черга;

Стек;

Матриця;

Масив.

n

2

за допомогою логічної схеми;

у вигляді формул;

за допомогою таблиці істинності;

усі відповіді вірні.

обидва хибні;

обидва істинні;

не вірне твердження.

перше істинне, а друге хибне;

атомами;

хибними;

істинними;

формулами.

Логічні операції 

Сталі: імена об’єктів, числа;

Предикати 

Логічні операції