西安电子科技大学S2.5.1存在指定规则软件学院家【例题】设谓词P(x)：x是草食动物，x的个体域为全体动物的集合。应用存在指定规则消去公式(日x)P(≤)中的存在量词。解答：(日x)P(x)(x)P(x):. P(狼):. P(羊)X“有些动物是草食动物”“有些动物是草食动物”例如“狼是草食动物”。例如“羊是草食动物”。西安电子科技大学 §2.5.1 存在指定规则 软件学院 (∃x)P(x) ∴ P(狼) (∃x)P(x) ∴ P(羊) 解答： × √ 【例题】设谓词P(x): x是草食动物，x的个体域为全体动物的 集合。应用存在指定规则消去公式(∃x)P(x)中的存在量词。 “有些动物是草食动物”， 例如“狼是草食动物”。 “有些动物是草食动物”， 例如“羊是草食动物