这是关于正式规范

Question

考虑以下在蔬菜领域中定义的谓词：

R(x) : x is a root vegetable
T(x) : x tastes nice

另外命题P定义为：

P : Peas are blue

现在象征性地表达以下陈述：

1. 如果豌豆是蓝色的，那么卷心菜味道很好。
2. 有一种根菜，味道很好。
3. 莴苣是根类蔬菜，豌豆是蓝色的。
4. 所有根类蔬菜味道都很好。
5. 豌豆是蓝色的，或者有一种蔬菜是根类蔬菜，味道不好。

Answer 1

谓词逻辑很有趣；）

P ⇒ (∀x Cabbage(x) ⇒ T(x))
∃x R(x) ⇒ T(x)
∀x (Lettuce(x) ⇒ R(x)) ∧ P
∀x R(x) ⇒ T(x)
P ∨ (∃x R(x) ∧ ¬T(x))