网站首页 百科知识
量词的一种。表示个体域中存在个体具有(或不具有)某种性质或关系,记为“∃ x”,或“Ex”,或“∑x”等。如:“∃xF(x)”表示个体域中存在个体(至少有一个,也可以是全部)具有谓词F所刻画的性质。
开放百科全书收录579518条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。