全稱符號

全稱符號(universal symbol) 邏輯學符號之一它表示“對所有的二，命題F(.x)都成立”的符號，是重要的邏輯量詞之一德國另一位數學家萊布尼茨

德國另一位數學家朗伯(<Lambert, J.H.)於1761年用“A=B”或“A>B”表示“所有的A都是B”的意思.義大利數學家卡斯蒂隆(Castillon,G. F.)於1803年用“S = A+M”表示“所有的S都是A”的意思.本查姆(Bentham,G.)於1827年用小寫字母“t”表示“全稱”之意，用“tX = tY”表示“所有的X與所有的Y相同”.英國另一位數學家德·摩根(De Morgan , A.)於1831年用“X )Y”表示“所有的X都是}‑,，用的是半個括弧.英國另一位數學家瓊斯(Jones, W.)於1864年用字母“U " U niverse(全稱)的首母」作全稱符號，而德國數學家格拉斯曼< Grassmann, R.)於1872年用字母"1"'[Totalitat(全體)的首母]作全稱符號.德國另一位數學家施洛德(Schroder,F. W. K. E.)於1877年用大寫希臘字母“)Z”作全稱符號，這一方法一直用到現在.在一些現代數理邏輯系統中仍可見到“IIxF(x)”即“對任一二，F(二)都成立”)的記法.義大利數學家佩亞諾(Peano,G.)於1888年用大寫希臘字母n的倒置"V”作全稱符號(用n作“無”的符號).英國數學家懷特海(Whitehead, A. N.)和數理邏輯學家羅素<Russell,B. A. W.)於1910年用括弧()作為全稱符號:“(二)}px”表示“對所有的二，}px成立”，這一用法在一些系統中也一直用到現在.他們兩個也用"V”作為全稱符號，這一符號也有人一直用到現在.後來，有人指出為避免與表示析取的“V”號相混淆，可在“V”中間加一橫，即以“d”為全稱符號，這是現在最常用的全稱符號.