西安电子科技大学$2.5.2全称指定规则软件学院家【例题】设谓词P(x,y)：是x的父亲，x和y的论域为全体人类。应用全称指定规则消去公式(x)(y)F(,y)中的存在量词。解答：用y代替(x)(y)F,y)中的约束变元x得到(Vx)(Fy)(x, y)..(3y)P(y, y)X解答：(x) (Ey)F(x,y)..(3y)P(z, y)西安电子科技大学 软件学院 × √ §2.5.2 全称指定规则