(새 문서: == 유일성을 보이는 방법이 사실상 귀류법뿐인지 == 바로 밑의 예시 증명에서조차 귀류법을 안 쓰고 있는데, 정확히 무슨 뜻인지 궁금합니...) |
편집 요약 없음 |
||
| 1번째 줄: | 1번째 줄: | ||
== 유일성을 보이는 방법이 사실상 귀류법뿐인지 == | == 유일성을 보이는 방법이 사실상 귀류법뿐인지 == | ||
바로 밑의 예시 증명에서조차 귀류법을 안 쓰고 있는데, 정확히 무슨 뜻인지 궁금합니다. --[[사용자:휴면유동닉|휴면유동닉]] ([[사용자토론:휴면유동닉|토론]]) 2015년 9월 15일 (화) 14:34:21 (KST) | 바로 밑의 예시 증명에서조차 귀류법을 안 쓰고 있는데, 정확히 무슨 뜻인지 궁금합니다. --[[사용자:휴면유동닉|휴면유동닉]] ([[사용자토론:휴면유동닉|토론]]) 2015년 9월 15일 (화) 14:34:21 (KST) | ||
:위쪽에 귀류법을 사용한 예시가 하나 있었는데 모니위키 문법이 적용이 안돼 문단안에 끼어져 있었네요. 지금은 수정했습니다. 그리고 문서에도 나와있듯이, 귀류법을 사용한 방법과 귀류법을 사용하지 않는 방법이 "본질적으로는" 동일합니다. 귀류법을 사용하면 "해가 유일하지 않다고 가정→서로 다른 두 해를 찾을 수 있음→여러가지 해보니 두 개가 같음→근데 두개가 다르다고 했으니 모순→따라서 해가 유일"의 순서를, 귀류법을 사용하지 않은 예시는 "두 해가 있음→여러가지 해보니 두 개가 같음→따라서 해가 유일"의 논리를 따릅니다. 사실상 증명의 첫부분과 끝부분을 수식하는 문구만 달라지지 거의 똑같죠. 그리고 유일성을 보이는 방법이 하나뿐인지에 대해서는 좀 애매한데, 모든 책에서 유일성을 증명할 때 두 해가 존재한다고 시작하거든요 (귀류법과 본질적으로 동일한 방법). 다른 방법이 있다면 수정하면 되겠지만 아니라면 일단 이대로 놔둬도 될 것 같습니다. --[[사용자:Skim|Skim]] ([[사용자토론:Skim|토론]]) 2015년 9월 15일 (화) 22:34:24 (KST) | |||
2015년 9월 15일 (화) 22:34 판
유일성을 보이는 방법이 사실상 귀류법뿐인지
바로 밑의 예시 증명에서조차 귀류법을 안 쓰고 있는데, 정확히 무슨 뜻인지 궁금합니다. --휴면유동닉 (토론) 2015년 9월 15일 (화) 14:34:21 (KST)
- 위쪽에 귀류법을 사용한 예시가 하나 있었는데 모니위키 문법이 적용이 안돼 문단안에 끼어져 있었네요. 지금은 수정했습니다. 그리고 문서에도 나와있듯이, 귀류법을 사용한 방법과 귀류법을 사용하지 않는 방법이 "본질적으로는" 동일합니다. 귀류법을 사용하면 "해가 유일하지 않다고 가정→서로 다른 두 해를 찾을 수 있음→여러가지 해보니 두 개가 같음→근데 두개가 다르다고 했으니 모순→따라서 해가 유일"의 순서를, 귀류법을 사용하지 않은 예시는 "두 해가 있음→여러가지 해보니 두 개가 같음→따라서 해가 유일"의 논리를 따릅니다. 사실상 증명의 첫부분과 끝부분을 수식하는 문구만 달라지지 거의 똑같죠. 그리고 유일성을 보이는 방법이 하나뿐인지에 대해서는 좀 애매한데, 모든 책에서 유일성을 증명할 때 두 해가 존재한다고 시작하거든요 (귀류법과 본질적으로 동일한 방법). 다른 방법이 있다면 수정하면 되겠지만 아니라면 일단 이대로 놔둬도 될 것 같습니다. --Skim (토론) 2015년 9월 15일 (화) 22:34:24 (KST)