Логическая связка ИЛИ

Связка "или" символически записывается A V B - дизъюнкция. Эта же связка применяется при переводе утверждений вида:

• А или В или оба вместе
• либо А, либо В и т.п.

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

В естественном языке "или" иногда используется как разделительная связка: то или другое, но не оба вместе.

Чаще всего две возможности А и В просто несовместимы, и оба смысла совпадают. В этом случае А и В называют альтернативами.