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

 

Логическая связка ДИЗЪЮНКЦИЯ (от лат. disjunctio - различаю).

 

Название – логическое сложение.

 

Обозначение:

   в алгебре высказываний   АvB,

   в языках программирования  Or.

 

В естественном языке ему соответствует союз "или".

  

Например, из двух простых высказываний А="На улице светит солнце" и В="На улице пасмурная погода" построим сложное, используя союз-связку "или".

Получим "На улице светит солнце или пасмурная погода".

 

Дизъюнкции соответствует следующая таблица истинности:

 

Высказывание	А	В	Аv B
На улице не светит солнце или ясная погода	0	0	0
На улице не светит солнце или пасмурная погода	0	1	1
На улице светит солнце или ясная погода	1	0	1
На улице светит солнце или пасмурная погода	1	1	1

 

Вывод: результат будет ложным тогда и только тогда,

 

когда оба исходных высказывания ложны

 

и истинным в остальных случаях.

 

 

В алгебре множеств дизъюнкции соответствует операция объединения множеств, т.е. множеству получившемуся в результате сложения множеств А и В соответствует множество, состоящее из элементов, принадлежащих либо множеству А, либо множеству В.