[일반] 이거 아무리봐도 안틀린거같은데 맞나요

[익명(121.152)]

다시생각해보니까

p: 정수 m,n은 홀수이다. 

q:m,n의 곱은 홀수이다. 

주어진 증명에 따르면 (p and ~q) -> q가 참이되고 이는 p->q와 동치임으로 그대로 증명이 끝나는거같은데 

문제에서 틀린부분을 찾으라고해서 .. 뭐가 틀린건가싶기도하고 

[souvenir(souvenir)]

이 문제에서 증명해야 하는게 정확히 뭔데?

[익명(121.152)]

두 홀수의 곱은 홀수이다. 이거에요

[익명(121.190)]

직접증명이랑 귀류법 섞어서 그게 잘못됐다는거 같은데 문제가 좀 쓸데없는거 물어보는듯

[익명(121.152)]

좀더 풀어서 말씀해주실수있나요 이해가 잘안가요 ㅠ

[익명(121.190)]

저기서 짝수라고 가정하는거 없으면 직접증명으로 잘 증명한게 되어서 좀 이상한 서술임

[익명(121.152)]

첫번째줄에서 "mn이 짝수라고 가정하자"와 마지막줄에서 "따라서 모순이다."를 지우면 직접증명으로 깔끔하게 증명이 됐다는 말씀이시죠?

[익명(121.152)]

근데 안빼고 귀류법으로 봤을때도 어색할 뿐이지 틀린부분은 없는거같긴한데 맞나요? 답변해주셔석 감사합니다

[익명(121.190)]

귀류법으로 증명하려면 mn이 짝수라고 가정한 뒤에 mn이 짝수이므로 소인수 중 2가 존재하고 따라서 2|m 이거나 2|n이다. 따라서 모순이다. 이런 느낌으로 가야지

[익명(121.190)]

넹 그렇습ㅂ니다

[익명(121.152)]

아 그러네요..궁금한건 저 증명자체가 틀린건 아닌거죠? 말씀하신 표현따라 어색한거죠?

[익명(121.152)]

답변감사해요