這是關於正式的規範

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