这个陈述的第一顺序逻辑表示？

Question

表达式

  

波士顿的航班抵达。

我需要提供面向事件的一阶逻辑表示。

如果是the flight arrived，我会说

  

到达（e）^到达（e，航班）

如何在其中加入命题短语from boston？

Answer 1

如果你想保持Arrived和arri_thing

  

到达（e）^到达（e，航班）^之前（波士顿，航班）

希望这会有所帮助。