[일반] 한정기호 쓰는 법 질문드립니다

[Schan(schan054)]

저 사진 처럼 한정기호를 막 떼도 되나요?

[수갤러 1(211.246)]

나는 집합론을 formal하게 안했음을 감안하고 들어주셈. 아래에서 두개끼리 서로 비교하려는 것에 어떤 유용함이 있어서 구분하려는 것임?

[Schan(schan054)]

증명할때 한정기호들이 마구 섞여서 정리하기 어렵던걸 깔끔하게 정리 가능할거같아요

[익명(211.210)]

일단 표기법에 집착하는 건 좋지 않음. (교수가 그런 거 신경쓰는 거 아니라면) 책마다 표기법은 다르고 무엇이 옳다 할 수가 없음. . . 일단 저기서 ∃x.x∈A의 경우는 .(온점)으로 해서 분리를 할 수 있음 이게 사실 x를 쓸 수 있는 범위(scope? 프로그래밍 해봤으면?) 암묵적으로 정의해주는 거라, ∃x( x∈A )로 보면 되거든? 저게 근데 ∃x∈A, ∃γ∈Γ 같은 경우면 ∃x( ∃γ( x∈A, γ∈Γ ) )라서 ∃x.∃γ( x∈A, γ∈Γ )로 써도 되고, ∃x.∃γ.x∈A.γ∈Γ로 써도 되고. 편한 대로. 한정기호의 순서가 중요할 때는 물론 막 풀어서 쓰면 안 되지

[Schan(schan054)]

감사합니다