님들 이건 같은 것 맞죠?

[ㅇㅇㅇ(58.140)]

(∀x)(∃y)(Px→(Wy∧Myx) = (∀x)(Px→(∃y)(Wy∧Myx))

(∀x)(∃y)(Cx→(Ty∧~Rxy) = (∀x)(Cx→(∃y)(Ty∧~Rxy))

이 위 두개 같은 것 맞죵?

[익명(1.227)]

문자만 다른거 아닌가요?

[ㅁㄴㅇㄹ(122.38)]

=표시 좌우에 있는게 같냐는거 아님?

[ㅇㅇㅇ(58.140)]

ㅇㅇ좌우 같냐는것

[익명(1.227)]

같죠. 단순히, 첫 문장 보면 Px에 y가 출현 안 하잖아요