标签: predicate quantifiers
这是一个声明
C(x): x has a cat D(x): x has a dog F(x): x has a Ferret 代表使用量词和逻辑连接词。在“班上所有学生”的领域下
C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
1)班上没有学生有猫,狗或雪貂。
2)对于这三种动物中的每一只,你班上都有一名学生将这些动物中的一只作为宠物。
有人可以为此提供答案。提前谢谢。
答案 0 :(得分:1)
1)∀x(~C(x)^ ~D(x)^ ~F(x))
2)(∃xC(x))^(∃xD(x))^(∃xF(x))