[일반] 모든 x에 대하여 어떤 y가 존재해서 P이면 Q이다.

[익명(183.108)]

이거 존나 병신 같은 해석이라고 느끼는 거 나만 그러냐? 해석학 엡샐론-델타 설명에 대해서 국내 교재 몇개 보면 이렇게 해석해놨던데. 모든 x에 대하여, "P이면 Q"인 y가 존재한다. 이게 맞는 거 아니야? 난 진짜 저 해석보고 토 쏠렸음 뭐 저게 틀린 해석이라는 건 아닌데 누가 저렇게 좆병신 같은 문장을 쓰냐 이거지...

[기괴공학도(mecheng98)]

논리식을 직역해서 그럼

[01(1.240)]

such that을 옮긴다고 옮긴거임. 님처럼 쓰면 저 P이면 Q 부분이 길어질 때 y가 존재한다는 말이 뒤로 밀려가서 의미를 바로 알기 힘들어지니까 저렇게 쓴 거

[익명(183.108)]

오히려 그 부분이 길어지면 내 방식의 해석이 더 낫지 않나? 저런 해석을 사용하는 국내 해석학 책 보면," p이면 q이다" 부분이 길어질수록 내용이 산으로 감

[01(1.240)]

어찌됐든 결론은 'y가 존재한다'인데 이게 맨 뒤로 밀려나면 가독성이 떨어짐. P이면 Q이다 부분이 너무 길어지면 정리 읽으면서 그래서 결론이 어쨌다는 거지? 라는 생각만 들거고.. 뭐 사실 어차피 그게 그거긴 함

[익명(175.223)]

그래서 수리논리나 집합론은 원서로 보는게 좋은거 같음

[로리행보관(jjlee98)]

그러네

[뽈펜(ieieiei)]

수리논리 좋아하는 사람들은 "어떤 y가 존재해서" 를 앞에 쓰는 걸 선호할걸

[익명(223.38)]

꼬우면 원서보던지