Что такое дизъюнкция это
ДИЗЪЮНКЦИЯ
Полезное
Смотреть что такое «ДИЗЪЮНКЦИЯ» в других словарях:
Дизъюнкция — Дизъюнкция ♦ Disjonction Разделение, разъединение. В логике дизъюнкцией называют высказывание, состоящее из двух или более частей, соединенных разделительным союзом «или»: «р или q» – дизъюнкция. Различают эксклюзивный и инклюзивный виды… … Философский словарь Спонвиля
ДИЗЪЮНКЦИЯ — ДИЗЪЮНКЦИЯ, логическое высказывание, которое получается путем объединения двух простых утверждений при помощи слова «или». Например, дизъюнкцией является высказывание «Джон отличается умом или Джон отличается скромностью»; оно ложно, если обе его … Научно-технический энциклопедический словарь
ДИЗЪЮНКЦИЯ — [лат. disjunctio] лог. 1) объединение двух высказываний с помощью разделительного союза «или»; 2) разделение, противоположение. Словарь иностранных слов. Комлев Н.Г., 2006. дизъюнкция (лат. disjunctio) логическая операция, образующая сложное… … Словарь иностранных слов русского языка
ДИЗЪЮНКЦИЯ — (лат. disjunctio разобщение) в логике, математике и др. логический эквивалент союза или ; операция, формализующая основные логические свойства этого союза … Большой Энциклопедический словарь
дизъюнкция — сущ., кол во синонимов: 1 • операция (457) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
дизъюнкция — — [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] Тематики защита информации EN disjunction … Справочник технического переводчика
Дизъюнкция — * дыз’юнкцыя * disjunction разобщение непрерывного ареала вида или рода на части. Разрывы между отдельными частями дизъюнктивного ареала. Д. может находиться в пределах одного материка или на разных материках. Примерами Д. являются… … Генетика. Энциклопедический словарь
Дизъюнкция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
дизъюнкция — disjunkcija statusas T sritis automatika atitikmenys: angl. disjonction; logical sum vok. Disjunktion, f; logische Summe, f; logische Summenbildung, f rus. дизъюнкция, f; логическая сумма, f pranc. disjonktion, f; somme logique, f ryšiai:… … Automatikos terminų žodynas
ДИЗЪЮНКЦИЯ
Смотреть что такое «ДИЗЪЮНКЦИЯ» в других словарях:
Дизъюнкция — Дизъюнкция ♦ Disjonction Разделение, разъединение. В логике дизъюнкцией называют высказывание, состоящее из двух или более частей, соединенных разделительным союзом «или»: «р или q» – дизъюнкция. Различают эксклюзивный и инклюзивный виды… … Философский словарь Спонвиля
ДИЗЪЮНКЦИЯ — (от лат. disjunctio разобщение, обособление), в широком смысле сложное высказывание, образованное из двух или более предложений с помощью союза «или», выражающего альтернативность, или выбор. В символич. логике Д. наз. логич. связку… … Философская энциклопедия
ДИЗЪЮНКЦИЯ — [лат. disjunctio] лог. 1) объединение двух высказываний с помощью разделительного союза «или»; 2) разделение, противоположение. Словарь иностранных слов. Комлев Н.Г., 2006. дизъюнкция (лат. disjunctio) логическая операция, образующая сложное… … Словарь иностранных слов русского языка
ДИЗЪЮНКЦИЯ — (лат. disjunctio разобщение) в логике, математике и др. логический эквивалент союза или ; операция, формализующая основные логические свойства этого союза … Большой Энциклопедический словарь
дизъюнкция — сущ., кол во синонимов: 1 • операция (457) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
дизъюнкция — — [http://www.rfcmd.ru/glossword/1.8/index.php?a=index d=23] Тематики защита информации EN disjunction … Справочник технического переводчика
Дизъюнкция — * дыз’юнкцыя * disjunction разобщение непрерывного ареала вида или рода на части. Разрывы между отдельными частями дизъюнктивного ареала. Д. может находиться в пределах одного материка или на разных материках. Примерами Д. являются… … Генетика. Энциклопедический словарь
Дизъюнкция — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете … Википедия
дизъюнкция — disjunkcija statusas T sritis automatika atitikmenys: angl. disjonction; logical sum vok. Disjunktion, f; logische Summe, f; logische Summenbildung, f rus. дизъюнкция, f; логическая сумма, f pranc. disjonktion, f; somme logique, f ryšiai:… … Automatikos terminų žodynas
Дизъюнкция
Дизъюнкция — это логическая операция, принятая в формализованных языках (см. Язык формализованный) для образования сложных высказываний (формул) из элементарных (простых) высказываний (см. Высказывание) и по смыслу эквивалентная нестрогому союзу «или» в естественном языке (см. Язык). Дизъюнкция читается: «A или B»; записывается: A ⋁ B; другое название дизъюнкции: логическое сложение. Употреблению дизъюнкции в математической логике соответствует истинностная таблица:
| A | B | A ⋁ B |
| И | И | И |
| И | Л | И |
| Л | И | И |
| Л | Л | Л |
Из таблицы видно, что высказывание A ⋁ B считается ложным лишь в том случае, когда его посылка истинна, а заключение ложно.
Дизъюнкция может быть бинарной операцией (иметь два операнда), тернарной операцией (иметь три операнда), или n-арной операцией (иметь n операндов), но на практике операции более, чем бинарные, используются очень редко.
Понятие дизъюнкции сформировалось в процессе обособления языка логики и его последующей символизации (см. Логика символическая). В классической логике (см. Логика), формальной логике (см. Логика формальная), языках формальных теорий (см. Формализация) и языках программирования дизъюнкция составляет одну из пяти наиболее распространённых логических связок, или логических операций (см. Логические операции), наряду с конъюнкцией (см. Конъюнкция), импликацией (см. Импликация), эквиваленцией (см. Эквиваленция) и отрицанием (см. Отрицание).
Что такое дизъюнкция это
2) Логическое сложение или дизъюнкция:
Таблица истинности для дизъюнкции
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 1 |
| 0 | 1 | 1 |
| 0 | 0 | 0 |
3) Логическое отрицание или инверсия:
Таблица истинности для инверсии
| A | ¬ А |
| 1 | 0 |
| 0 | 1 |
4) Логическое следование или импликация:
«A → B» истинно, если из А может следовать B.
Обозначение: F = A → B.
Таблица истинности для импликации
| A | B | F |
| 1 | 1 | 1 |
| 1 | 0 | 0 |
| 0 | 1 | 1 |
| 0 | 0 | 1 |
5) Логическая равнозначность или эквивалентность:
Дизъюнкция
Логическая операция Дизъюнкция — бинарная операция над высказываниями, результатом которой является истинное высказывание в случаях, когда среди исходных высказываний есть хотя бы одно истинное. Дизъюнкция ложна, если оба исходных высказывания ложны.
Другие названия дизъюнкции — логическое сложение, логическое ИЛИ или просто ИЛИ.
Дизъюнкция изучается в информатике при рассмотрении раздела алгебра логики.
В естественных языках дизъюнкцию заменяют союзом «или«.
В языках программирования для дизъюнкции используют обозначение ‘ or ‘ или одинарной (двойной) вертикальной чертной ‘ | ‘ (либо ‘ || ‘) (например, x 5 или a>=10 || a ).
Как набрать знак дизъюнкцию на клавиатуре
Так как на клавиатуре нет знака дизъюнкции (∨), ее удобно набирать используя комбинацию символов обратный слэш и слэш \/.
Таблица истинности для дизъюнкции
Истинность дизъюнкции определяется ее таблицей истинности.
| A | B | A \/ B |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Дизъюнкция и круги Эйлера
Результатом дизъюнкции является как область пересечения высказываний, там и области самих исходных высказываний.
Электрический аналог дизъюнкции
Представим, что выключатели A и B — это высказывания, причем 0 — выключатель разомкнут, 1 — выключатель замкнут. Лампа символизирует дизъюнкцию. Когда она не горит — 0, горящая лампа — 1. Тогда становится очевидным, что лампа будет гореть если хотя бы один (и оба сразу) выключатель будет замкнут, что полностью соотносится с таблицей истинности для дизъюнкции.