翻譯到謂詞邏輯與詞彙

Question

如何將一個翻譯下面的語句到謂詞邏輯：

「即使考官希望所有的學生都將滿足E級或更高的要求，有人會獲得較低的等級和失望。「

Answer 1

第一步是定義一個字母表。採取以下一階字母與期望解釋：

一元謂詞：

• S（x）的： 「x爲學生」
• E（X）：「x是檢查者」
• G（X）： 「x爲等級」
• d（X）： 「x被失望」

二進制謂詞：

• R（X，Y）： 「x是y的要求」
• B（X，Y）： 「x是y或更好」
• O（X，Y）：「×接收Y」

三元謂詞：

• H（X，Y，Z）： 「×希望使y滿足Z」

E：恆（以下簡稱 「E級」）

X，Y，Z，W：變量

讓我們打破原來的語句分爲兩個部分：

S1道：「考官希望所有的學生都將滿足E級或更好」的要求

S2：‘有人會獲得較低的檔次和失望’

並使用定義的字母表將它寫在一階：

S1：∃x（E（X）∧∀y（S（y）的⇒∃z∃w（R（Z，E ）∧B（w，z）∧H（x，y，w））））​​

S2：Sx∃y（S（x）∧G（y）∧O（x，y）∧B （Y，E）∧d（X））

最後我們計算的原始說法，那就是：

S1 S2∧

請記住，這只是解釋之一，會導致一個正確的（令人滿意的）答案。

我希望它有幫助