"이브가 사랑하는 모든 것(y)을 사랑하는 어떤 이(x)는 이브를 사랑하는 어떤 이에게 사랑 받는다"

Lxy x는 y를 사랑한다

Px x는 사람이다 

 

책에선 이 문장 "이브가 사랑하는 모든 것을 사랑하는 어떤 이..." 를 (for some x)(Px&(for all y)(Ley->Lxy)&... 로 기호화하던데

Ley->Lxy 여기서 굳이 연언말고 조건기호를 써야 하는 이유가 뭐임