Дизъюнкция (лат. — разде­лять) — логическая операция, обра­зующая сложное высказывание из объединения двух высказываний с помощью логического союза «или». Символическая запись: А V В (чи­тается А или В). В классической математической логике различают два вида Д.: нестрогая (соедини­тельная) и строгая (разделитель­ная). Нестрогая Д. образует слож­ное высказывание, к-рое истинно тогда, когда истипно хотя бы одно пз входящих в него высказываний, и ложно тогда, когда ложны все вхо­дящие в него высказывания. В есте­ственном языке примерно соответ­ствует неразделительному значению союза «или». Строгая Д. образует сложное высказывание, истинное только в том случае, когда истинен лишь один из его членов. В естествен­ном языке примерно соответствует разделительному значению союза «или» (в значении «либо, либо»).