파란색 줄 친 부분이 어떻게 저렇게 되는지 모르겠습니다.

"명제 p(x)에 대하여 p(y)"라는 명제를 항상 "p(x) -> p(y)" 라는 명제로 바꿀 수 있는 건가요?

직관적으로는 '~에 대하여'가 가정 부분에 해당한다고 생각할 수도 있을 것 같은데... 이걸 어떤 정의나 정리로 본 적이 제 기억에는 한번도 없어서 혼란스럽네요