一阶逻辑翻译答案

【问题标题】：First Order Logic translation一阶逻辑翻译
【发布时间】：2021-04-06 06:04:31
【问题描述】：

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

定义：

● ???? - 是一组公司

● ???? - 是一组投资者

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

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

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

【问题讨论】：

1) 请提供您解决此问题的尝试。 2) 这个问题应该发布在 math.stackexchange.com 上。
还有你发布的问题文字不完整，set N is not defined。

标签： math set logic predicate jsoniq

【解决方案1】：

我遇到了类似的问题，但没能解决。我接近它的方式是：

∀x ∈ C。 ∃y ∈ I.（到目前为止）

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

【讨论】：

【解决方案2】：

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

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

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

【讨论】：