析取符號是邏輯學中表示“或”運算的符號，通常寫作“∨”或“∪”，分別用於命題邏輯和集合論中描述析取關係。
在命題邏輯中，“∨”表示兩個命題間至少有一個為真的邏輯關係；在集合論中，“∪”符號用於表示兩個集合的並集，即元素屬於至少其中一個集合的關係。兩者均反映“或”運算的基本內涵。
該符號的歷史演變始於19世紀：熱爾崗於1816年首次使用“H”作為析取符號，布爾在1847年改用“+”，皮爾斯於1861年設計了“-}”形式。此後，佩亞諾(1888)引入弧形符號，穆爾(1910)啟用“∪”表示集合析取，羅素則推廣“∨”作為命題析取的通用符號。現代邏輯學中，“∨”與“∪”分別成為命題邏輯和集合論的標準符號。
基本介紹
- 中文名：析取符號
- 外文名：disjunction symbol
簡介,發展,
簡介
析取符號(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表示析取均可.
