Loading article…
下降くさび記号∨ は以下を表します。
垂直に反転した記号 ∧ はくさび形であり、関連する演算子や双対演算子を表すことが多い。
∨記号はラッセルとホワイトヘッドによって『プリンキピア・マセマティカ』で導入され、彼らはそれを論理和または選言関数と呼んだ。[1]
Unicodeでは、この記号はU+2228 ∨ LOGICAL OR ( ∨, ∨ ) としてエンコードされます。TeX では、 orです。
\vee\lor
記号∨を選択した理由の1つであり、最も可能性の高い説明は、包括的な意味で「または」を意味するラテン語の「vel」である。多くの著者は「または」関数の名前として「vel」を使用している。[2] [3] [4] [5] [6] [7] [8] [9]
参考文献
- ^ ホワイトヘッド、アルフレッド・ノース (2005)。『プリンキピア・マセマティカ』、アルフレッド・ノース・ホワイトヘッド ... とバートランド・ラッセル著。
- ^ Rueff, Marcel; Jeger, Max (1970). Sets and Boolean Algebra. American Elsevier Publishing Company. ISBN 978-0-444-19751-1。
- ^ トラップ、ロバート (1975)。サイバネティクスとシステム研究の進歩。ヘミスフィア出版コーポレーション。ISBN 978-0-89116-240-7。
- ^ コンスタブル、ロバート L. (1986)。Nuprl 証明開発システムによる数学の実装。Prentice- Hall。ISBN 978-0-13-451832-9。
- ^ マラテスタ、ミシェル（1997）。『プライマリーロジック：二つの文化間の対話のための手段』グレースウィング出版。ISBN 978-0-85244-499-3。
- ^ Harris, John W.; Stöcker, Horst (1998-07-23). 数学と計算科学ハンドブック. Springer Science & Business Media. ISBN 978-0-387-94746-4。
- ^ ティドマン、ポール、カハネ、ハワード（2003）。論理と哲学：現代入門。ワズワース/トムソンラーニング。ISBN 978-0-534-56172-7。
- ^ Kudryavtsev, Valery B.; Rosenberg, Ivo G. (2006-01-18). オートマトン、半群、普遍代数の構造理論: オートマトン、半群、普遍代数の構造理論に関する NATO 高度研究所の議事録、カナダ、ケベック州、モントリオール、2003 年 7 月 7 日から 18 日。Springer Science & Business Media。ISBN 978-1-4020-3817-4。
- ^ デネケ、クラウス; ウィスマス、シェリー L. (2009)。普遍代数と余代数。ワールドサイエンティフィック。ISBN 978-981-283-745-5。