析取符號

析取符號

析取符號(disjunction symbol)邏輯學符號之一它表示析取,即邏輯和“或”的符號.較早採用符號表示析取的是法國數學家熱爾崗(Gergonne , J. -D. )

析取符號(disjunction symbol)邏輯學符號之一它表示析取,即邏輯和“或”的符號.較早採用符號表示析取的是法國數學家熱爾崗(Gergonne , J. -D. ),他於1816年用字母“H”作為析取符號,或說用字母“H”表示兩個命題的邏輯和.引人邏輯運算的英國數學家布爾(Boole, G.)於1847年用加號“+”表示邏輯和,這一符號後來得到廣泛的使用,在一些數理邏輯系統中“+”作為析取符號一直用到現在.美國數學家皮爾斯(Peirce,C. S.)於1861年用"a-},b”來表示a與b的析取.義大利數學家佩亞諾(Peano,G.)於1888年引入了記號“、”表示“或”的意思,注意這是一個下位弧形記號.美國數學家穆爾(Moore, E. H.)於1910年仍用此“~”符號表示“或”,同時他也採用“U”表示一系列集合的析取.這可視為一個拉長了的弧形,比佩亞諾的記號更明確些,這一記號一直用到現在.同時英國數學家懷特海<Whitehead,A. N.)和數理邏輯學家羅素(Russell,B. A. W.)則採用“V”表示析取—兩個命題的析取,而用“U”表示兩個集合的類的邏輯和,後來又用於同樣的意義.現在一般用V或U表示析取均可.

相關詞條

熱門詞條

聯絡我們