Логика

Электронное учебное пособие

 

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

 

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

 

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

 

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

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

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

 

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

  

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

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

 

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

 

 Высказывание

А

В

Аv B

На улице не светит солнце или ясная погода

0

0

0

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

0

1

1

На улице светит солнце или ясная погода

1

0

1

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

1

1

1

 

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

 

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

 

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

 

 

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

  

 

 

 

 

 

Сайт создан по технологии «Конструктор сайтов e-Publish»