Логическая операция, служащая для образования высказывания "А или В" из высказываний Аи В. В формализованных языках Д. высказываний А и В обозначается посредством Высказывания А и Вназ. дизъюнктивными членами высказывания Употреблению Д. в математич. логике соответствует следующая истинностная таблица: В. Е. Плиско.