这是一个语句
C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
用量词和逻辑连接词表示。在域"你班上的所有学生"
你们班没有学生养猫、狗或雪貂。
2)对于这三种动物中的每一种,你们班上有一个学生养了其中一种动物作为宠物。
有人能提供一个答案吗?
1)∀x (~ C (x) (x) ^ ~ ^ ~ D F (x))
∃xC(x)) ^(∃xD(x)) ^(∃xF(x))