Гуманитарные технологии Аналитический портал • ISSN 2310-1792

Дизъюнкция

Наименование: Дизъюнкция (образовано от латинского слова: disjunctio — разъединение, разделение).
Определение: Дизъюнкция — это логическая операция, принятая в формализованных языках для образования сложных высказываний из простых и по смыслу эквивалентная нестрогому союзу «или» в естественном языке.
Текст: Авторы: Ф. И. Голдберг. Подготовка элект­рон­ной публи­ка­ции и общая редакция: Центр гумани­тарных техно­логий. Инфор­ма­ция на этой стра­нице пери­оди­чески обнов­ля­ется. Послед­няя редакция: 07.12.2017.

Дизъюнкция — это логическая операция, принятая в формализованных языках (см. Язык формализованный) для образования сложных высказываний (формул) из элементарных (простых) высказываний (см. Высказывание) и по смыслу эквивалентная нестрогому союзу «или» в естественном языке (см. Язык). Дизъюнкция читается: «A или B»; записывается: A ⋁ B; другое название дизъюнкции: логическое сложение. Употреблению дизъюнкции в математической логике соответствует истинностная таблица:

A B A ⋁ B
И И И
И Л И
Л И И
Л Л Л

Из таблицы видно, что высказывание A ⋁ B считается ложным лишь в том случае, когда его посылка истинна, а заключение ложно.

Дизъюнкция может быть бинарной операцией (иметь два операнда), тернарной операцией (иметь три операнда), или n-арной операцией (иметь n операндов), но на практике операции более, чем бинарные, используются очень редко.

Понятие дизъюнкции сформировалось в процессе обособления языка логики и его последующей символизации (см. Логика символическая). В классической логике (см. Логика), формальной логике (см. Логика формальная), языках формальных теорий (см. Формализация) и языках программирования дизъюнкция составляет одну из пяти наиболее распространённых логических связок, или логических операций (см. Логические операции), наряду с конъюнкцией (см. Конъюнкция), импликацией (см. Импликация), эквиваленцией (см. Эквиваленция) и отрицанием (см. Отрицание).

Библиография:
  1. Ершов Ю. Л., Палютин Е. А. Математическая логика. — М., 1979.
  2. Марков А. А. Элементы математической логики. — М., 1984.
  3. Мендельсон Э. Введение в математическую логику, 3-е изд. — М., 1984.
  4. Новиков П. С. Элементы математической логики, 2-е изд. — М., 1973.
  5. Справочная книга по математической логике, т. 1–4. — М., 1982–1983.
  6. Сидоренко Е. А. Пропозициональное исчисление с условной дизъюнкцией. — В книге: Методы логического анализа. — М., 1977.
  7. Стяжкин Н. И. Формирование математической логики. — М., Наука, 1967.
  8. Эдельман С. Л. Математическая логика. — М., 1975.
Источник: Дизъюнкция. Гуманитарная энциклопедия [Электронный ресурс] // Центр гуманитарных технологий, 2010–2017 (последняя редакция: 07.12.2017). URL: http://gtmarket.ru/concepts/7352
Авторы статьи: © Ф. И. Голдберг. Подготовка электронной публикации и общая редакция: Центр гуманитарных технологий.
Логика: понятия и концепции

Тематический раздел

Новые концепты
Базисные концепты