[일반] 님들 이거 대우로 바꾸면 어떻게됨?

[익명(115.94)]

나 조건 대우로 바꾸면

p>>>q

에서 

[2,3) 모든 x대하여 f(x)>M >>>>  실수 M 존재안함

을 대우해서

실수 M 존재함 >>>>> [2,3) 어떤 x대하여 f(x)<=M

이렇게 바꿨는데 답인 상황이 x=3이 점근선인 경우거든 그경우밖에 나 조건을 만족시킬수없음 

근데 내가 대우로 바꾼거에선 점근선이 아니더라도 만족하는데 그럼 내가 대우를 잘못했단건데

어디서 잘못한걸까 그리고 제대로 대우 씌우면 어떻게 되는건지 알려줄사람

[익명(220.121)]

정확한 대우는 f(x)<=M 이면 x는 [2,3)에 속하지 않게되는 실수 M은 존재하지 않는다 임 - dc App

[익명(220.121)]

오류가일어나는 이유는 "실수 M은 존재하지않는다"를 명제로 p->q사이에 끼워넣어서. 저 명제는기호화하면 there is no M s.t (p->q) 임 there is no M s.t (~q->~p) 가 돼야겠지 s.t부분에만 ~이면 ~이다니까 대우를 씌울수있는 조건이저기밖에없지 - dc App

[익명(106.101)]

와 한번에 명쾌하게 이해됨 정말 감사합니다

[수갤러 1(59.5)]

조건 (나)는 다음 중 (2)를 의미한다고 이해해야 돼. 근데 사실 (1)과 (2)를 자연 언어로 서로 구별되게 서술하기가 좀 어려워. 그래서 어쩔 수 없이 조건 (나)가 뭘 의미할지는 맥락을 보고 판단해야 돼.

[수갤러 1(59.5)]

(1) ∀ x ∈ [2, 3), ¬∃ M ∈ ℝ, f(x) > M ⇔ ∀ x, (x ∈ [2, 3) → ¬∃ M ∈ ℝ, f(x) > M) ⇔ ∀ x, (∃ M ∈ ℝ, f(x) > M → x ∉ [2, 3))

[수갤러 1(59.5)]

(2) ¬∃ M ∈ ℝ, ∀ x ∈ [2, 3), f(x) > M ⇔ ¬∃ M ∈ ℝ, ∀ x, (x ∈ [2, 3) → f(x) > M) ⇔ ¬∃ M ∈ ℝ, ∀ x, (f(x) ≤ M → x ∉ [2, 3))

[익명(106.101)]

1번 상황과 2번상황이 충분히 헷갈릴수있는거네요 좋은 경험으로 삼고 가겠습니다 감사합니다

[수갤러 1(59.5)]

보편 양화사랑 존재 양화사가 함께 나오는 문장은 솔직히 고교생이 제대로 이해할 수 있는지 모르겠다. 좀 반칙이라고 느껴져.

[수갤러 1(59.5)]

이 문제 언제 나온 거야? 나중에 다른 사람들한테 보여 줄 예로 활용하려고.

[수갤러 1(59.5)]

위의 "∀ x"라는 양화사(정량어)에서, 변수 x의 논의 영역은 함수 f의 정의역으로 봐야 돼. 그걸 X라고 하면, ∀ x를 ∀ x ∈ X로 바꿔도 돼.

[익명(106.101)]

이문제 기출아니고 지인선이라는분 자작문제에요

[수갤러 1(59.5)]

그분한테 제가 말한 내용 전달해 주시면....