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

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

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

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

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

В Юникоде символ кодируется U + 2228 ∨ ЛОГИЧЕСКОЕ ИЛИ ( &или;, &vee; ). В 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. ISBN 978-0-89116-240-7 .
^ Констебль, Роберт Л. (1986). Реализация математики с помощью системы разработки доказательств Nuprl . Прентис-Холл. ISBN 978-0-13-451832-9 .
^ Малатеста, Микеле (1997). Первичная логика: инструменты диалога двух культур . Издательство Грейсвинг. ISBN 978-0-85244-499-3 .
^ Харрис, Джон В.; Штекер, Хорст (23 июля 1998 г.). Справочник по математике и информатике . Springer Science & Business Media. ISBN 978-0-387-94746-4 .
^ Тидман, Пол; Кахане, Ховард (2003). Логика и философия: современное введение . Уодсворт/Томсон Обучение. ISBN 978-0-534-56172-7 .
^ Кудрявцев Валерий Борисович; Розенберг, Иво Г. (18 января 2006 г.). Структурная теория автоматов, полугрупп и универсальной алгебры: Труды Института перспективных исследований НАТО по структурной теории автоматов, полугрупп и универсальной алгебры, Монреаль, Квебек, Канада, 7-18 июля 2003 г. Springer Science & Business Media. ISBN 978-1-4020-3817-4 .
^ Денеке, Клаус; Висмат, Шелли Л. (2009). Универсальная алгебра и коалгебра . Всемирная научная. ISBN 978-981-283-745-5 .

См. также [ править ]

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

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

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

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

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

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

[7] Тидман, Пол; Кахане, Ховард (2003). Логика и философия: современное введение . Уодсворт/Томсон Обучение. ISBN 978-0-534-56172-7 .

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

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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]