- #1
bonfire09
- 249
- 0
Negate the statement is "Everyone has a relative he doesn't like"
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.
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.