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

Логическое сложение (дизъюнкция) образуется соединением двух высказываний в одно с помощью союза «или».

Союз «или» может быть использован в объединительном или разделительном смысле. Например, в предложении «Обычно в 8 вечера я смотрю телевизор или пью чай» союз «или» взят в объединительном смысле, так как можно или только смотреть телевизор, или только пить чай, или смотря телевизор пить чай. Такая операция называется нестрогой дизъюнкцией.

В высказывании «Данный глагол I или (либо) II спряжения» союз «или» используется в разделительном смысле. Такая операция называется строгой дизъюнкцией.

Примеры строгой и нестрогой дизъюнкций:

• Петя сидит на западной или восточной стороне стадиона (строгая).

• Студент едет в электричке или читает книгу (нестрогая).

• Оля любит писать сочинения или решать логические задачи (нестрогая).

• Завтра дождь будет или не будет (строгая).

Обозначение нестрогой дизъюнкции: А ИЛИ В; А В; А | В.

Под дизъюнкцией понимают нестрогую дизъюнкцию, если не оговорено иное.

А (дизъюнкция) В = На автостоянке стоят «Мерседес» или «Жигули».

Таблица истинности: Пояснения:

А	В	А В

Из таблицы истинности следует, что дизъюнкция двух высказываний ложна тогда и только тогда, когда оба высказывания ложны, и истинна, когда хотя бы одно высказывание истинно.