这是关于正式规范

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))