(어떤 x)(Px & (모든 y)(Py -> x=y) & Qx)이

(어떤 x)Px & (모든 x)(Px -> (모든y)(Py -> x=y)) & (모든 x)(Px -> Qx)와

의미가 동일한 것도 알고 동일함을 증명하는 방법도 아는데

전자의 형태에서 어떠한 연산 법칙들이 복합적으로 적용돼서 후자의 형태로 되는지 궁금한데 이거 아는 사람 있냐?

말 그대로

(전자)=~=~=~=•••=(후자) 이런 식으로 이어지는 과정이 궁금함

이거 알면 명제 인수분해 과정을 연구하는 데 도움 많이 될 것 같음