第2章一阶逻辑 H (1)小王是二年级大学生。 (2)小王是李老师的学生 (3)如果xy且yxx,则x=y 前两句均是命题,第三句因为含有变元所以是命 题函数。但实际上我们知道,只要将x、y限制在数的 范围内,第三句是定理,是永真的。这就涉及到了个 体域。在简单命题中,常有一些表示数量关系的词语, 诸如"所有的"、"有一些"等等,用来表示论域中的全 体或部分个体,在谓词逻辑中,我们用量词把它们形 式化第2章 一阶逻辑 前两句均是命题，第三句因为含有变元所以是命 题函数。但实际上我们知道，只要将x、y限制在数的 范围内，第三句是定理，是永真的。这就涉及到了个 体域。在简单命题中，常有一些表示数量关系的词语， 诸如"所有的" 、 "有一些"等等，用来表示论域中的全 体或部分个体，在谓词逻辑中，我们用量词把它们形 式化。 （1）小王是二年级大学生。 （2）小王是李老师的学生。 （3）如果x≤y且y≤x，则x=y