재미있는 문제 [새창]

1//음?
아직 안가셨음 방패창 얘기 링크좀요...궁금하네 ㅋ

350 2011-04-18 23:10:54 0

재미있는 문제 [새창]

ㅇㅎㄴㄷ//
모순(矛盾)을 말하는 겁니까?
갑자기 근데 모순 얘기가 왜나와요?

349 2011-04-18 23:07:09 0

재미있는 문제 [새창]

근데 글쓴이 참 열받겠다...댓글 수는 돌파중인데 추천은 한개도 없어 ㅋㅋㅋ

348 2011-04-18 23:05:50 0

재미있는 문제 [새창]

ㅇㅎㄴㄷ//
님이 말한대로 4색 정리를 증명할려면 이미 '모든 지도'에 대해 4색 명제가 참이라고 증명된 후에
'모든'의 경우에서'임의의 지도'를 꺼냈을 때에야 모든=임의의 가 성립하는겁니다.

그 명제 자체가 참이라고 확정되기 전까진 모든=임의의 가 성립하는건 아니에요.

알겠음?

347 2011-04-18 22:58:57 0

재미있는 문제 [새창]

ㅇㅎㄴㄷ//
님이 말한 4색 정리의 명제가 '모든 지도'인데 님 맘대로 임의의로 바꿔놓고 뭘 맞아요 맞기는 -_-;;

346 2011-04-18 22:44:52 0

재미있는 문제 [새창]

헐...임의가 모든이래...-_-;;;; give up...;;;

345 2011-04-18 22:29:22 0

재미있는 문제 [새창]

ㅇㅎㄴㄷ//

저 위에 명제 어디에 '모든 자연수의 배수'라고 나옵니까?

님 말대로라면 '모든 자연수의 배수'라는 명제를 부정한건데...

344 2011-04-18 22:28:34 0

재미있는 문제 [새창]

1//
귀류법 [ Indirect or apagogical reduction, 歸謬法 ]

원어 reductio ad absurdum(라틴어)
간접환원법 또는 배리법(背理法)이라고도 한다. 전통적 형식 논리학에서 어떤 판단의 모순판단을 참이라고 할 경우에 부조리에 빠지는 것을 밝힘으로써 전자가 참임을 증명하는 방법. 예를 들면 '모든 P는 M이다. 어떤 S는 M이 아니다. 따라서 어떤 S는 P가 아니다'라는 결론이 참이 아니라고 하면, 이것의 모순판단 '모든 S는 P이다'가 참이 된다. 따라서 '모든 P는 M이다'(앞의 대전제)와 이 '모든 S는 P이다'를 대, 소전제로 하면, '모든 S는 M'이다라고 할 수 있다.
이것은 앞의 소전제에 모순한다. 즉 '모든 S는 P이다'라고 하는 것은 오류가 된다. 기호논리학에서는 어떤 판단 p의 부정 내지 반정립을 ~p로 나타내고, p가 참이 아니라면 ~p가 참이 된다. ~p가 참이라면 q가 참이 아니면 안 된다. 그런데 p는 참일 수 없다. p가 거짓이라면 ~p는 거짓이 아니면 안 된다. 따라서 p는 참이 아니면 안 된다라고 하는 말이 성립될 수 있다.

343 2011-04-18 22:14:01 0

재미있는 문제 [새창]

아니 말이 좀 이상했네요.
님 명제를 증명하려면 그 부정한 명제를 놓고 "모든 경우에서 4개의 색으로 칠할 수 없는 경우가 없다"를
증명해야 하는데 그러기가 쉽지 않으니 힘들겠죠? 그러니 4색 문제는 이 방법으로는 증명하기 힘들꺼임.

342 2011-04-18 22:09:04 0

재미있는 문제 [새창]

1//님의 명제를 부정하려면 모든 도형이 아닌
'어떤 도형은 4개의 색으로 칠할 때 인접한 부분의 색이 같지 않도록 칠할 수 없다'라고 부정해야함.
그러므로 그걸 증명하려면 4개의 색으로 칠할 수 없는 '어떤 도형'을 찾아야 함.

근데 글쓴이의 2번을 부정하면 '모든 자연수의 배수중에는 자릿수의 총 합이 홀수인 수는 없다'임.
'모든'의 경우에서 위의 명제를 부정하는 경우를 찾아냈으니 증명.

ㅇㅋ?

341 2011-04-18 21:36:10 0

재미있는 문제 [새창]

2배수를 말하는 건가요?

2번 명제를 부정하고 6의 2배수인 12의 각 자릿수를 합하면 3 <- 홀수

없다고 전제를 했는데 있으므로 2번 명제는 참.

340 2011-04-18 21:07:17 0

박지윤의 환상. swf [새창]

여자 박효신...

생긴걸로나 목소리로나...

339 2011-04-18 21:02:19 1

살려주세요..... [새창]

ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ

338 2011-04-17 20:04:06 2

너무 억울해서 숙제를 할 수가 없는... [새창]

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ잠실경긴데 사직구장으롴ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

337 2011-04-16 15:05:20 0

[네이트 톡] 너무 귀여우신 우리 시어머니 [새창]

맨날 시댁이 어떻네 저떻네, 이혼을 하네 마네 하는 글만 보다가 간만에 이런 글 보니까 재밌네요 ㅎㅎ

근데 왠지 나 장가가도 울어무이도 저럴꺼 같아...;;;