第2章一阶逻辑 2.存在量词“" 存在量词用来表示论域中的部分个体。表自然 语言中的"存在着一些"、"至少有一个"、"有"等等。如: 我们班有人会吸烟。" 句子可改写成:"在我们班有一些x,x会吸烟。" 取个体域为"我们班的同学",用G(x)表示"x会吸 烟",用彐x表示"有些x",则原句形式化为:彐xG(x)。第2章 一阶逻辑 2．存在量词“ " 。表自然 语言中的"存在着一些" 、 "至少有一个" 、 "有"等等。如： "我们班有人会吸烟。 " 句子可改写成："在我们班有一些x，x会吸烟。 " 取个体域为"我们班的同学" ，用G（x）表示"x会吸 烟" ， x表示"有些x" ， xG（x）。   