将英语陈述表示为量词

时间:2011-05-06 06:20:51

标签: predicate quantifiers

这是一个声明

C(x): x has a cat D(x): x has a dog F(x): x has a Ferret
代表使用量词和逻辑连接词。在“班上所有学生”的领域下

1)班上没有学生有猫,狗或雪貂。

2)对于这三种动物中的每一只,你班上都有一名学生将这些动物中的一只作为宠物。

有人可以为此提供答案。提前谢谢。

1 个答案:

答案 0 :(得分:1)

1)∀x(~C(x)^ ~D(x)^ ~F(x))

2)(∃xC(x))^(∃xD(x))^(∃xF(x))