[일반] if and only if 증명할때 혹시

[익명(oen0c)]

보통은 p=>q q=>p 이거 두개 보여서 증명하는데

p=>q ~p=>~q 이거 두개 보여서 증명하기도 함??

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[익명(oen0c)]

그건아는데 이렇게증명하는거 못본거같아서 굳이싶나 해서 물어봄

[수갤러 1(210.178)]

많이함 정확한 정리는 모르겠는데 대수에서 그 짓을 많이 한듯

[익명(oen0c)]

오

[수갤러 2(114.203)]

난 개인적으로 그런식으로 증명하는게 좋음. 뭔가 논리적 동치가 더 잘 와닿아서. only if 자체 뜻에 더 잘 맞기도 하고

[익명(oen0c)]

[연쵸(solstice4649)]

c에서 연속 <=> c로 수렴하는 수열의 함수값은 f(c)로 수렴하는 수열 - dc App

[익명(oen0c)]

sin(1/x)같은거 발산하는거 보일때 그거 대우 쓰긴 하는데 명제 증명할때도 그렇게햇엇나

[연쵸(solstice4649)]

@ㅇㅇ 1/(π/2+2nπ)랑 1/(-π/2+2nπ) 같은거 잡으면 되잖어 - dc App

[익명(tease3753)]

자주 하죠 p 보이기가 난해할때 쓰는듯

[멘탈(mental8368)]

선대에서 필요조건이 a또는 b이다라고 기술되어있으면 그 대우를 증명하는 게 편했음 - dc App

[리카(lillollool)]

위상할때 ㅈㄴ 짜잘한 명제들 증명 혼자 대충 해보고 넘길때 그리 했던거같은데

[익명(oen0c)]

[수갤러 3(1.229)]

많이 쓰이는듯