- #1

- 248

- 0

Let x-person

Let y- relative

R(x,y)- x is related to y

L(x,y)-x likes y

∀x ∃y(R(x,y)→~L(x,y))

∃x~∃y(R(x,y)→~L(x,y))

∃x ∀y~(R(x,y)→~L(x,y))

∃x ∀y(R(x,y)^L(x,y))

is this correct? It reads for someone x who is related to all y and x likes all y.