Математическая энциклопедия - разделительная дизъюнкция

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

В. Н. Гришин.

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985