Словарная статья
Дизъюнкция
Логическая операция разделения или выбора между высказываниями, обычно выражаемая связкой «или».
В первом приближении
Дизъюнкция — логическая связка «или». Она соединяет высказывания так, что сложное высказывание истинно в зависимости от истинности входящих альтернатив. Важно различать включающую дизъюнкцию, где возможно «одно или другое или оба», и исключающую, где выбирается строго одно из двух.
- Означает логическую связку «или».
- Используется в логике, математике и информатике.
- Может быть включающей или исключающей.
- Формализует выбор и альтернативу.
- Помогает устранять двусмысленность обычной речи.
Развернутое объяснение
Дизъюнкция начинается с ситуации альтернативы. Мы говорим: будет дождь или снег, условие A или условие B, утверждение истинно или ложно. Язык выбора получает логическую форму.
В классической логике дизъюнкция соединяет два высказывания через «или». Но бытовое «или» неоднозначно: иногда оно допускает оба варианта, иногда требует выбора только одного.
Включающая дизъюнкция означает: A или B, причём возможно, что истинны оба. Это тот случай, когда альтернативы не исключают друг друга.
Исключающая дизъюнкция означает: либо A, либо B, но не оба вместе. Такой режим важен там, где нужно выбрать строго одну возможность.
Философски дизъюнкция показывает структуру альтернативного мышления. Мы не только утверждаем и отрицаем, но и строим пространство возможностей.
В информатике дизъюнкция становится технической операцией. Она участвует в булевой алгебре, условиях программирования, схемах, поисковых запросах и формальных доказательствах.
Понятие важно потому, что очищает слово «или» от двусмысленности. Логика требует уточнить, допускаются ли оба варианта или нужен строгий выбор.
Дизъюнкция — это логическое «или», которое заставляет альтернативу стать точной.