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