全称符号

简介

德国另一位数学家朗伯(u003cLambert,J.H.)于1761年用或表示“所有的A都是B”的意思.意大利数学家卡斯蒂隆(Castillon,G.F.)于1803年用表示“所有的S都是A”的意思.本查姆(Bentham,G.)于1827年用小写字母“t”表示“全称”之意，用“tX=tY”表示“所有的X与所有的Y相同”.英国另一位数学家德·摩根(De Morgan,A.)于1831年用“X)Y”表示“所有的X都是}‑,，用的是半个括号.英国另一位数学家琼斯(Jones,W.)于1864年用字母“UU niver(全称)的首母」作全称符号，而德国数学家格拉斯曼u003cGrassmann,R.)于1872年用字母1'[Totalitat(全体)的首母]作全称符号.德国另一位数学家施罗德(Schroder,F.W.K.E.)于1877年用大写希腊字母“)Z”作全称符号，这一方法一直用到现在.在一些现代数理逻辑系统中仍可见到即“对任一二，F(二)都成立”)的记法.意大利数学家佩亚诺(Peano,G.)于1888年用大写希腊字母n的倒置V”作全称符号(用n作“无”的符号).英国数学家怀特海(Whitehead,A.N.)和数理逻辑学家罗素u003cRusll,B.A.W.)于1910年用括号()作为全称符号:表示“对所有的二，}px成立”，这一用法在一些系统中也一直用到现在.他们两个也用V”作为全称符号，这一符号也有人一直用到现在.后来，有人指出为避免与表示析取的“V”号相混淆，可在“V”中间加一横，即以“d”为全称符号，这是现在最常用的全称符号。