量词存在量词：表示存在，有一个日x：个体域中有一个x如，日xF(x)表示个体域中有一个x具有性质F日x=yG(x,y)表示个体域中存在x和y有关系GVx日yG(x,y)表示对个体域中每一个x都存在一个y使得x和y有关系G日xVyG(x,y)表示个体域中存在一个x使得对每一个yX和y有关系G5
5 量词 存在量词: 表示存在, 有一个 x : 个体域中有一个x 如, xF(x)表示个体域中有一个x具有性质F xyG(x,y)表示个体域中存在x和y有关系G xyG(x,y)表示对个体域中每一个x都存在一个y使得 x和y有关系G xyG(x,y)表示个体域中存在一个x使得对每一个y, x和y有关系G
实例1例用0元谓词将命题符号化(1)墨西哥位于南美洲(2)V2是无理数仅当/3是有理数(3)如果2>3，则3<4解：在命题逻辑中：真命题(1)P，p为墨西哥位于南美洲(2)p>q,其中，p:/2是无理数,q:/3是有理数。假命题(3)p→q，其中，p：2>3,q：3<4.真命题6
6 实例1 例 用0元谓词将命题符号化 (1) 墨西哥位于南美洲 (2) 是无理数仅当 是有理数 (3) 如果2>3，则3<4 2 3 2 解：在命题逻辑中： (1) p, p为墨西哥位于南美洲 (2) p→q, 其中, p： 是无理数, q： 是有理数. (3) p→q, 其中, p：2>3, q：3<4. 3 真命题 假命题 真命题