Нисходящий клин

Логический символ, напоминающий букву «V»

Символ нисходящего клина ∨ может представлять:

Логическая дизъюнкция в пропозициональной логике
Присоединяйтесь к теории решеток
Сумма клина в топологии
Знак V , символ, олицетворяющий мир , помимо прочего.

Вертикально отраженный символ ∧ представляет собой клин и часто обозначает связанные или двойственные операторы.

Символ ∨ был введен Расселом и Уайтхедом в работе Principia Mathematica , где они назвали его Логической суммой или Дизъюнктивной функцией . ^[1]

В Unicode символ кодируется как U+2228 ∨ ЛОГИЧЕСКОЕ ИЛИ ( ∨, ∨ ). В TeX это или .\vee\lor

Одной из мотиваций и наиболее вероятным объяснением выбора символа ∨ является латинское слово "vel", означающее "или" в инклюзивном смысле. Несколько авторов используют "vel" как название функции "или". ^[2]^[3]^[4]^[5]^[6]^[7]^[8]^[9]

Ссылки

^ Уайтхед, Альфред Норт (2005). Principia mathematica, Альфреда Норта Уайтхеда ... и Бертрана Рассела.
^ Рюэфф, Марсель; Йегер, Макс (1970). Множества и булева алгебра. Американское издательство Elsevier. ISBN 978-0-444-19751-1.
^ Траппл, Роберт (1975). Прогресс в кибернетике и системных исследованиях. Hemisphere Publishing Corporation. ISBN 978-0-89116-240-7.
^ Констебль, Роберт Л. (1986). Реализация математики с помощью системы разработки доказательств Nuprl. Prentice-Hall. ISBN 978-0-13-451832-9.
^ Малатеста, Микеле (1997). Первичная логика: инструменты для диалога между двумя культурами. Gracewing Publishing. ISBN 978-0-85244-499-3.
^ Харрис, Джон В.; Штёкер, Хорст (1998-07-23). Справочник по математике и вычислительной науке. Springer Science & Business Media. ISBN 978-0-387-94746-4.
^ Тидман, Пол; Кахане, Говард (2003). Логика и философия: Современное введение. Wadsworth/Thomson Learning. ISBN 978-0-534-56172-7.
^ Кудрявцев, Валерий Б.; Розенберг, Иво Г. (2006-01-18). Структурная теория автоматов, полугрупп и универсальной алгебры: Труды Института передовых исследований НАТО по структурной теории автоматов, полугрупп и универсальной алгебры, Монреаль, Квебек, Канада, 7-18 июля 2003 г. Springer Science & Business Media. ISBN 978-1-4020-3817-4.
^ Денеке, Клаус; Висмат, Шелли Л. (2009). Универсальная алгебра и коалгебра. World Scientific. ISBN 978-981-283-745-5.

Смотрите также

[1] Уайтхед, Альфред Норт (2005). Principia mathematica, Альфреда Норта Уайтхеда ... и Бертрана Рассела.

[2] Рюэфф, Марсель; Йегер, Макс (1970). Множества и булева алгебра. Американское издательство Elsevier. ISBN 978-0-444-19751-1.

[3] Траппл, Роберт (1975). Прогресс в кибернетике и системных исследованиях. Hemisphere Publishing Corporation. ISBN 978-0-89116-240-7.

[4] Констебль, Роберт Л. (1986). Реализация математики с помощью системы разработки доказательств Nuprl. Prentice-Hall. ISBN 978-0-13-451832-9.

[5] Малатеста, Микеле (1997). Первичная логика: инструменты для диалога между двумя культурами. Gracewing Publishing. ISBN 978-0-85244-499-3.

[6] Харрис, Джон В.; Штёкер, Хорст (1998-07-23). Справочник по математике и вычислительной науке. Springer Science & Business Media. ISBN 978-0-387-94746-4.

[7] Тидман, Пол; Кахане, Говард (2003). Логика и философия: Современное введение. Wadsworth/Thomson Learning. ISBN 978-0-534-56172-7.

[8] Кудрявцев, Валерий Б.; Розенберг, Иво Г. (2006-01-18). Структурная теория автоматов, полугрупп и универсальной алгебры: Труды Института передовых исследований НАТО по структурной теории автоматов, полугрупп и универсальной алгебры, Монреаль, Квебек, Канада, 7-18 июля 2003 г. Springer Science & Business Media. ISBN 978-1-4020-3817-4.

[9] Денеке, Клаус; Висмат, Шелли Л. (2009). Универсальная алгебра и коалгебра. World Scientific. ISBN 978-981-283-745-5.