диз'юнкція
ДИЗ'ЮНКЦІЯ (лат. disjunctio, від disjungo - роз'єдную, розрізняю) - логічний сполучник. Розрізняють слабку (нестрогу) Д. та сильну (строгу) Д. Складне висловлювання, до якого входить слабка (нестрога) Д. ("або") буде істинним тоді, коли хоча б одне з його складових висловлювань буде істинним. Воно визнається хибним, якщо всі висловлювання, які до нього входять, будуть хибними. Складне висловлювання, до якого входить сильна (строга) Д., буде істинним лише в тому випадку, коли логічні значення висловлювань, його складників не збігаються, тобто якщо одне з них є істинним, то інше буде хибним ("або... або..."). Таке висловлювання буде хибним у тих випадках, коли логічні значення висловлювань, що входять до його складу, збігаються, вони є або обидва істинними, або обидва хибними.