第2章一阶逻辑 【例21.1】将下列语句形式化为谓词逻辑中的命 题或命题函数 (1)小王是二年级大学生 (2)小王是李老师的学生。 (3)如果x≤y且yxx,则x=yo 解 (1)令F(x):x是大学生;G(x):x是二年级 的;a:小王。则原句形式化为: F(a)∧G(a)。第2章 一阶逻辑 【例2.1.1】 将下列语句形式化为谓词逻辑中的命 题或命题函数。 （1）小王是二年级大学生。 （2）小王是李老师的学生。 （3）如果x≤y且y≤x，则x=y。 解 （1）令F（x）：x是大学生；G（x）：x是二年级 的；a：小王。则原句形式化为： F（a）∧G（a）