【问题标题】:Represent the English statement into Quantifiers将英文语句表示成量词
【发布时间】: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


    【解决方案1】:

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

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

    【讨论】:

      猜你喜欢
      • 2016-07-18
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 2019-10-12
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多