Что такое дизъюнкция кратко

Обновлено: 04.07.2024

Найдено 3 изображения:

дизъюнкция сущ., кол-во синонимов: 1 • операция (457) Словарь синонимов ASIS.В.Н. Тришин.2013. . Синонимы: операция Антонимы: конъюнкция

Видео на тему: ДИЗЪЮНКЦИЯ

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

Философский энциклопедический словарь. — М.: Советская энциклопедия . Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов . 1983 .

(от лат.disjunction – разобщение, различие) – операция логики, отражающая употребление союза "или" в содержательных логич. выводах. Различают соединительный ("или а, или b, или и то и другое вместе") и исключающий ("или а, или b, но не то и другое вместе") смысл союза "или". В традиц. логике это различие влечет выделение соединительно-разделит. и исключающе-разделит. суждений (см. Разделительное суждение), в математич. логике – различение с л а б о й Д. (неразделительной Д., или просто Д.) и с и л ь н о й (разделительной, или с т р о г о й Д.). В классич. двузначной логике высказываний слабую Д. можно рассматривать как операцию образования из произвольных высказываний А и В такого сложного высказывания (обычно обозначается А / В, что читается "А или В"), которое истинно, если, и только если, истинно по крайней мере одно из составляющих высказываний, а сильную Д. – как операцию образования такого высказывания (обозначается, напр., формулой А + В, к-рая читается "либо А, либо В"), к-рое истинно, если истинно одно, и только одно, из высказываний А и В, и ложно в остальных случаях. При содержательном построении исчисления высказываний обе Д. можно трактовать как функции, определенные на области, состоящей из двух объектов – "истина" и "ложь", и принимающие значения тоже из этой области (см. Алгебра логики). В дедуктивно построенных исчислениях обычно вводится только слабая Д.; она задается в них либо теми аксиомами, в к-рых фигурирует знак Д. (в аксиоматических исчислениях), либо относящимися к Д. правилами вывода (в натуральных исчислениях).

В отличие от разделит. суждений, обычно считающихся осмысленными лишь при наличии смысловой связи между выражениями, соединяемыми союзом "или", в операциях Д. отвлекаются от этой связи. Подобно конъюнкции, импликации и др. операциям логики высказываний и предикатов, Д. лишь приближенно отражает употребление логич. союзов в реальном мышлении. Тем не менее логич. аппарат с такого рода операциями позволяет формализовать рассуждения в широких областях дедуктивных наук. О понимании Д. в неклассич. направлениях в логике см. Интуиционизм, Конструктивная логика.

Лит.: Новиков П. С., Элементы математической логики, М., 1959, гл. 1, 2; Τаванец П. В., Вопросы теории суждения, М., 1955, гл. 3, §1; Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948, §7; Гильберт Д. и Аккерман В., Основы теоретической логики, пер. с нем., М., 1947, гл. 1.

Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960—1970 .

Новая философская энциклопедия: В 4 тт. М.: Мысль . Под редакцией В. С. Стёпина . 2001 .

Логическая операция Дизъюнкция — бинарная операция над высказываниями, результатом которой является истинное высказывание в случаях, когда среди исходных высказываний есть хотя бы одно истинное. Дизъюнкция ложна, если оба исходных высказывания ложны.

Другие названия дизъюнкции — логическое сложение, логическое ИЛИ или просто ИЛИ.

Дизъюнкция изучается в информатике при рассмотрении раздела алгебра логики.

В естественных языках дизъюнкцию заменяют союзом «или«.

В языках программирования для дизъюнкции используют обозначение ‘ 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. Тогда становится очевидным, что лампа будет гореть если хотя бы один (и оба сразу) выключатель будет замкнут, что полностью соотносится с таблицей истинности для дизъюнкции.

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

Основные положения

Для начала следует разобраться, для чего нужна алгебра логики – главным образом, этот раздел математики и информатики, нужен для работы с логическими выражениями и высказываниями.

Логическим высказыванием называется утверждение (или запись), которое мы можем однозначно классифицировать, как истинное или ложное (1 или 0 в информатике).

Примером таким высказываний будут являться:

Сегодня светит солнце;
5 > 3;
Химическая таблица элементов была разработана Д.И. Менделеевым.

Отсюда можно сделать вывод, что в русском языке логическими высказываниями являются повествовательные предложения, однако далеко не все повествовательные предложения являются логическими высказываниями . Пример: химия скучный предмет. Здесь мы не можем однозначно установить ложно ли это выражение или истинно.

Логические высказывания делятся на два типа — простые и сложные.

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

В алгебре логики, как простые, так и сложные высказываниями описываются булевыми выражениями.

Булево выражение – это символическое (знаковое) описание высказывания.

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

Операции

Ниже рассмотрим основные операции, которые применяются в булевой алгебре. Их хватит, чтобы упростить львиную долю всех выражений, которые Вам встретятся.

Конъюнкция

Функция может работать как с двумя операндами (высказываниями), так и с тремя, четырьмя и т.д. В математике обозначается с помощью знаков \( \wedge \) и &. Обозначение в языках программирования AND, &&. Таблица истинности для двух операндов:

Дизъюнкция

Булево сложение, также как и умножение, может работать с произвольным количеством операндов. В математике обозначается как V, а в программировании с помощью OR или I.

Инверсия

Логическое отрицание – функция, работающая с одним высказыванием, и заменяющая истину на ложь, а ложь на истину. В математике обозначается с помощью черты над значением, а в программирование и информатике с помощью слова NOT.

Импликация

Результирующее значение будет ложным только тогда, когда из истинного высказывания будет следовать ложное следствие . Имеет обозначение в виде стрелочки \( \Longrightarrow \) . Важно: импликация работает только с двумя операндами.

Эквивалентность

Обозначается с помощью трех черточек или ⟺.

Порядок выполнения операций

Логические операции выполняются в следующем порядке:

Первой выполняется инверсия переменных.
Вторым выполняется конъюнкция (булево умножение);
Третьим номером идет дизъюнкция (сложение);
Затем выполняется импликация;
Самым низким приоритетом выполнения обладает эквивалентность.

Если в формуле указаны скобки, то порядок выполнения действий в скобках точно такой же, как написано выше.

Пример

Дано два отрезка B = [2,10], C = [6,14]. Из предложенных вариантов ответа выберите такой отрезок A, что формула \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) истинна при любом значении z. Варианты ответа:

Решение: Подставим в уравнение \( ((z \in A) \Longrightarrow (z \in B)) \vee (z \in C) \) =1 значения B и C и составим таблицу истинности:

Получившаяся формула \( ((z \in A) \Longrightarrow (z \in [2,10])) \vee (z \in [6,14])=1 \). По условию \( z \in A \)=1.

Таблица истинности для всех отрезков:

Ответ: A = [3,11].

Видео

Заключение

Вот Вы и познакомились с основными логическими операциями и понятиями и знаете, что такое булево сложение и умножение. Если вас заинтересовала данная тема, то можете изучить булевы законы. Эти законы не проходятся в рамках школьной программы и служат для упрощения сложных выражений.

Читайте также: