Разделительная Дизъюнкция

Одна из логич. связок. Предложение , получающееся из двух предложений Аи Вс помощью Р. д., считается истинным в случае, если истинно Аи ложно В, или в случае, если ложно Аи истинно В. В остальных случаях оно считается ложным. Таким образом, Р. д. может быть выражена через обычную (не разделительную) дизъюнкцию по формуле В. Н. Гришин.