- одна из логич. связок. Предложение 
, получающееся из двух предложений Аи Вс помощью Р. д.
, считается истинным в случае, если истинно Аи ложно В, или в случае, если ложно Аи истинно В. В остальных случаях оно считается ложным. Таким образом, Р. д. может быть выражена через обычную (не разделительную) дизъюнкцию по формуле
В. Н. Гришин.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
дилемма — ДИЛЕММА (от греч. dilemma: di(s) дважды и lemma посылка) условно разделительное умозаключение, содержащее две условные (импликативные) посылки и одну разделительную (дизъюнктивную) посылку. В традиционной логике обычно выделяли… … Энциклопедия эпистемологии и философии науки
КОММУТАТИВНОСТЬ — (позднелат. commutativus – подвергающийся перемещению, от лат. commuto – меняю, обмениваю) – свойство нек рых бинарных (т.е. двучленных, двуместных) логич. и математич. операций или функций, состоящее в том, что результат применения данной… … Философская энциклопедия
