math - 一阶逻辑翻译

Question

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

定义：

● - 是一组公司

● - 是一组投资者

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

● (, , , ) - 投资 x 描述投资者 i 持有超过 n 股公司 c

代表：“每家公司至少有一名投资者持有其100股以上的股份”

Answer 1

我有一个类似的问题，并没有出现。我接近它的方式是：

∀x ∈ C. ∃y ∈ I. (到目前为止)

不幸的是，ICN 和 P(x,i,c,n) 部分让我感到困惑，尤其是关于 n>100。我希望到目前为止我是正确的；希望有更多知识的人可以建立/纠正我所拥有的。

Answer 2

我试图解决这个问题并提出了这个解决方案：

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

有人可以确认这是否是正确的解决方案吗？