Дизъюнкция (логическое сложение).

Дизъюнкцией двух высказываний X,Y называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний X,Y истинно, и ложным, если оба ложны.

Дизъюнкция высказываний X,Y обозначается символом XvY , читается «X или Y». Высказывание X,Y называется членами истинности :

Из определения операции дизъюнкции и отрицания ясно, что высказывание Xv не X всегда истинно.