【发布时间】:2011-06-17 02:05:27
【问题描述】:
这是一个声明
C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
使用量词和逻辑连接词来表示。在“你班上的所有学生”域下
1) 你班上没有学生养猫、狗或雪貂。
2) 对于这三种动物中的每一种,您班上都有一名学生将其中一种动物作为宠物。
有人可以为此提供答案吗?提前致谢。
【问题讨论】:
标签: predicate quantifiers
这是一个声明
C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
使用量词和逻辑连接词来表示。在“你班上的所有学生”域下
1) 你班上没有学生养猫、狗或雪貂。
2) 对于这三种动物中的每一种,您班上都有一名学生将其中一种动物作为宠物。
有人可以为此提供答案吗?提前致谢。
【问题讨论】:
标签: predicate quantifiers
1) ∀x (~C(x) ^ ~D(x) ^ ~F(x))
2) (∃xC(x)) ^ (∃xD(x)) ^ (∃xF(x))
【讨论】: