Дизъюнкция

(от лат. disjunctio — разобщение, различие)

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

1. дизъю́нкция;
2. дизъю́нкции;
3. дизъю́нкции;
4. дизъю́нкций;
5. дизъю́нкции;
6. дизъю́нкциям;
7. дизъю́нкцию;
8. дизъю́нкции;
9. дизъю́нкцией;
10. дизъю́нкциею;
11. дизъю́нкциями;
12. дизъю́нкции;
13. дизъю́нкциях.

ДИЗЪЮНКЦИЯ (лат. disjunctio - разобщение) - в логике, математике и др. - логический эквивалент союза "или"; операция, формализующая основные логические свойства этого союза.

лог. alternation, OR functiondisjunction

f.disjunction; разделительная дизъюнкция, exclusive disjunction; неразделительная дизъюнкция, inclusive disjunction

ДИЗЪЮНКЦИЯ, логическое высказывание, которое получается путем объединения двух простых утверждений при помощи слова «или». Например, дизъюнкцией является высказывание «Джон отличается умом или Джон отличается скромностью»; оно ложно, если обе его части по отдельности ложны, а во всех остальных случаях истинно. Дизъюнкция употребляется в математике, где такое высказывание считается верным, если оба компонента верны. Дизъюнкция двух простых высказываний, Р и Q, записывается как P v Q, а читается как «Р или Q». см. также КОНЪЮНКЦИЯ.

ДИЗЪЮНКЦИЯ

(от лат. disjunctio — разобщение, обособление), в широком смысле — сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символич. логике Д. наз. логич. связку (операцию, функцию), образующую из предложений А и В сложное высказывание, обозначаемое обычно как А V В, которое является истинным при истинности по крайней мере одного из двух дизъюнктивных членов: А или В. В классич. логике Д. вместе с отрицанием образует функционально-полную систему пропозициональных связок, что позволяет определить через них др. пропозициональные связки. Традиционно принято отличать рассмотренную (нестрогую) Д. от строгой (разделительной) Д., для крой характерно то, что соответствующее высказывание истинно при условии, когда истинен один и только один дизъюнктивный член.

см. к ст. Логика высказываний.

ДИЗЪЮ́НКЦИЯ -и; ж. [лат. disjunctio - разобщение] Логическая операция, содержащая в себе союз "или".

◁ Дизъюнкти́вный, -ая, -ое. Д-ое суждение (логическое суждение с союзом "или").

* * *

(лат. disjunctio — разобщение), (в логике, математике, лингвистике и др.), логический эквивалент союза «или»; операция, формализующая основные логические свойства этого союза.

* * *

ДИЗЪЮ́НКЦИЯ (лат. disjunctio — разобщение), в логике, математике и др. — логический эквивалент союза «или»; операция, формализующая основные логические свойства этого союза.

- логическая операция, служащая для образования высказывания "А или В" из высказываний Аи В. В формализованных языках Д. высказываний А и В обозначается посредством

Высказывания А и Вназ. дизъюнктивными членами высказывания Употреблению Д. в математич. логике соответствует следующая истинностная таблица:

В. Е. Плиско.

(от лат. disjunctio - разобщение, обособление) - логич. эквивалент союза "или"; одна из осн. логических операций - логич. сложение. реализуемая в ЭВМ по правилам алгебры логики.

дизъю́нкция ж.

disjunction, alteration

нераздели́тельная дизъю́нкция — inclusive disjunction

раздели́тельная дизъю́нкция — exclusive disjunction

ж. матем.

disgiunzione f; вчт. operazione f OR, OR m inclusivo

матем.

диз'ю́нкція

- ассоциативность дизъюнкции

- условная дизъюнкция

матем.

диз'ю́нкція

- ассоциативность дизъюнкции

- условная дизъюнкция

(лат. disjunctio - разобщение), (в логике, математике, лингвистике и др.), ло-гич. эквивалент союза "или"; операция, формализующая осн. логич. свойства этого союза.