用词典翻译谓词逻辑

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）：“x接收y”
  

     

三元谓词：

     

  
• H（x，y，z）：“x希望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：∃x∃y（S（x）∧G（y）∧O（x，y）∧¬B（y，e）∧D（x））

最后我们计算原始语句，即：

  

S1∧S2

请记住，这只是导致正确（令人满意）答案的解释之一。

我希望它有所帮助