Логічна функція якщо

Операція імплікації в деякій мірі відповідає сполучнику «якщо..., то», проте не тотожна йому. Складене висловлення «якщо А то В» вказує на деякий зв’язок між змістом висловлення А і висловленням В.

На практиці імплікація реалізується за допомогою логічної функції ЯКЩО (в російськомовних програмах-додатках офісного призначення використовується функція «ЕСЛИ», в англомовних – «IF»).

Логічна функція ЯКЩО – повертає одне значення, якщо задана умова при перевірці чи обчисленні дає значення істина, і інше значення, якщо хиба. Ця функція використовується при перевірці умов для значень і формул.

Синтаксис функції: Якщо логічний_вираз;значення_якщо_істина;значення_якщо_хиба).

Логічний_вираз – це будь-яке значення або вираз, що приймає значення Істина або Хиба.

Значення_якщо_істина – це значення, що повертається, якщо логічний вираз дорівнює Істина. Значення_якщо_істина може бути формулою.

Значення_якщо_хиба – це значення, що повертається, якщо логічний вираз дорівнює Хиба. Значення_якщо_хиба може бути формулою.

При конструюванні більш складних виразів дозволяється вкладення логічної функції ЯКЩО одна до одної в якості значень аргументів декілька разів.