如何在序言中实施以下规则。
我把“没有蜘蛛是哺乳动物”这句话写成存在的和普遍的:
¬∃x(mammals(X) ∧ spider(X) ) //It is not the case that mammals are spider
∀X(mammals(X) ⇒ ¬spider(X)) //All mammals are non-spider.
如何在序言中实施以下规则。
我把“没有蜘蛛是哺乳动物”这句话写成存在的和普遍的:
¬∃x(mammals(X) ∧ spider(X) ) //It is not the case that mammals are spider
∀X(mammals(X) ⇒ ¬spider(X)) //All mammals are non-spider.