ЛОГІЧНІ ЗВ'ЯЗКИ – символи логічних мов, що використовуються для утворення складних висловлювань (формул) з елементарних.

Визначення: Логічні зв'язки, або логічні операції – це символічні конструкції логічних мов, що використовуються для утворення складних висловлювань (формул) із елементарних висловлювань.

Слова і словосполучення, що вживаються в звичайній промові, "не", "і", "або", "якщо . . . , то", "тоді й тільки тоді" та інші дозволяють з уже заданих висловлювань будувати нові висловлювання. Такі слова та словосполучення називаються логічними зв'язками.

Логічна операція – У програмуванні операція над виразами логічного (булевського) типу, що відповідає деякій операції над висловлюваннями в алгебрі логікиАлгебра логіки (алгебра висловлювань) – розділ математичної логіки, в якому вивчаються логічні операції над висловлюваннями. Як і висловлювання, логічні вирази можуть приймати одне з двох істиннісних значень – "істинно" або "хибно".