设 C(x) 为语句“x 有一只猫”， 令 D(x) 为陈述“x 有一只狗”， 设 F(x) 为语句“x 有一只雪貂”。 用 C(x)、D(x)、F(x)、量词和逻辑来表达这些陈述 连接词。
Q1。对于猫、狗和雪貂这三种动物中的每一种，你的班级中都有一个学生 拥有这只动物作为宠物的班级。
有完整的解释吗？
ans = ∃x (C(x)) ∧ ∃y (D(y)) ∧ ∃z (F(z)) 它是否正确？ 如果是的话怎么办？
您的答案不正确，因为您尚未正式确定“x 将 y 作为宠物”和“x 是学生”。您需要一个 2 位谓词来形式化它。下一点是为“每个”选择适当的量词。在这种情况下，“每个”与“存在”不同。一旦你选择了正确的量词，那么你就会发现你的公式的正确结构，它应该是一个条件。