임의의 x ( P(x) -> Q(x) ) 랑  존재한다 x ( P(x) -> Q(x) ) 


두가지 명제는 이해했는데 


임의의 x,y ( P(x,y) -> Q(x.y) )  x,y가 존재하다 ( P(x) -> Q(x) ) 도 이해했는데


임의의 x , y가 존재한다 ( P(x.y) -> Q(x,y) ) 이런 명제가 존재해 ??? 


저런문장자체가 성립 안되는거 같아서