First Order Logic translation

Question

Use the following definitions to represent English statements as first-order formulas.

Define:

● - is a set of companies

● - is a set of investors

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

● (, , , ) - investment x describes investor i holding more than n shares of company c

Represent: "Each company has at least one investor holding more than 100 of its shares"

1) Please provide your attempts to solve this problem. 2) This question rather should posted at math.stackexchange.com. — Yuri Ginsburg, Apr 06 '21 at 06:32
Also you post incomplete text of the problem, set N is not defined. — Yuri Ginsburg, Apr 06 '21 at 06:34

kews · Answer 1 · 2021-04-07T05:25:08.997

0

I had a similar problem and came up short. The way I approached it was:

∀x ∈ C. ∃y ∈ I. (so far)

Unfortunately the ICN and P(x,i,c,n) part is tripping me up, especially regarding n>100. I hope that I'm correct so far; hopefully someone with more knowledge can build off of/correct what I have.

edited Apr 07 '21 at 05:25

answered Apr 07 '21 at 04:43

kews

1
1

score 0 · Answer 2 · edited Nov 08 '21 at 08:39

0

I have tried to solve this and came with this solution:

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

Can someone confirm if this is the correct solution?

edited Nov 08 '21 at 08:39

Ivan Aracki

4,861
11
59
73

answered Nov 08 '21 at 04:40

Shiva Shukla

13
7

First Order Logic translation

2 Answers2