第2章谓闹逻辑 2.1.3量词 量词分两种 (1)全称量词 日常生活和数学中常用的“一切的”,“所有的 “每一个”,“任意的”,“凡”,“都”等词统称为全称 量词,将它们符号化为“V”。并用(vx),(vy)等表示个体域 里的所有个体,而用(x)F(x)和(y)G(y)等分别表示个体域中 的所有个体都有性质F和都有性质G (2)存在量词 存在”,“有一个”,“有些”,“至少有一个”等 词统称为存在量词,将它们符号化为“彐”。并用(x),(3y) 等表示个体域里有些个体,而用(x)F(x)和(y)G①y)等分别表 示在个体域中存在个体具有性质F和存在个体具有性质G。 全称量词与存在量词统称为量词第2章 谓词逻辑 2.1.3量词 量词分两种。 ⑴ 全称量词 日常生活和数学中常用的“一切的” ， “所有的” ， “每一个” ， “任意的” ， “凡” ， “都”等词统称为全称 量词，将它们符号化为“”。并用(x)，(y)等表示个体域 里的所有个体，而用(x)F(x)和(y)G(y)等分别表示个体域中 的所有个体都有性质F和都有性质G。 ⑵ 存在量词 “存在” ， “有一个” ， “有些” ， “至少有一个”等 词统称为存在量词，将它们符号化为“” 。并用(x)，(y) 等表示个体域里有些个体，而用(x)F(x)和(y)G(y)等分别表 示在个体域中存在个体具有性质F和存在个体具有性质G。 全称量词与存在量词统称为量词