西安电子科技大学谓词$2.1.1软件学院【例题】设谓词P(×)：x是大学生，用谓词P表示命题“小张是大学生”解答：设个体a：小张，则命题“小张是大学生”表示为：P(a)【例题】设谓词F(x,y)：x是y的父亲，用谓词F表示命题“老张是小张的父亲”，解答：设个体a：小张，b：老张，则命题“老张是小张的父亲”表示为：F(b,a)若将谓词中的每个个体变元均代入对应个体域中确定的个体，则得到一个具有确定真假值的命题。西安电子科技大学 软件学院 若将谓词中的每个个体变元均代入对应个 体域中确定的个体，则得到一个具有确定 真假值的命题。 【例题】设谓词P(x): x是大学生，用谓词P表示命题“小张是 大学生”。 §2.1.1 谓词 解答： 设个体a: 小张，则命题“小张是大学生”表示为： P(a) 【例题】设谓词F(x,y): x是y的父亲，用谓词F表示命题“老 张是小张的父亲”。 解答： 设个体a: 小张，b:老张，则命题“老张是小张的父 亲”表示为： F(b,a)