Диз'юнкція (від латів.(латинський) disjunctio — відокремлення, відмінність), одна з логічних операцій ; відображає вживання союзу «або» в логічних виводах.