一阶逻辑翻译



使用以下定义将英语语句表示为一阶公式。

定义:

● -是一组公司

● -是的一组投资者

● ={(,)|(,,)∈××∧ℎ ℎ }-投资

●(,,)-投资x描述投资者i持有c 公司n股以上股份

代表:"每一家公司都有至少一名投资者持有其100多股"股票";

我也遇到过类似的问题,但没有成功。我接近它的方式是:

x∈C。y∈I。(到目前为止)

不幸的是,ICN和p(x,i,c,n)部分正在绊倒我,特别是关于n>100.我希望到目前为止我是正确的;希望有更多知识的人能在我所学的基础上再接再厉。

我试图解决这个问题,并提供了这个解决方案:

∀c∈C. ∃i∈I. ∃x∈ICN. P(x,i,c,100)

有人能确认这是否是正确的解决方案吗?

最新更新