증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
두분 중에 갈아타려고 하는데요 원래 어준규쌤 들었는데 생윤 노베라..내용 이해는...
-
조선의 왕위 계승
-
이거 무섭네 2
왜 볼드체로 쓰니...
-
작년에 풀었는데 또풀만한가 N제 뭐이리 풀게 없지
-
아 오르비재밋다 2
그래 이맛에 오르비하는거지 난 여기가 맞는 위치인듯 ㅋㅋㅋ
-
자야겠다 1
현생탈출 ㅅㅅ
-
그래서 안입고다님
-
있다 생각하세요?
-
간식값이 쫙쫙 굳네.. 여름방학 내내 선물해준 걸로 다 먹을 수 있겠어..
-
지금 20일정도 남았는데 화학도 노베고 수학도 공부를 거의 안해서 시간이 없어요ㅠ...
-
살려주시라요 2
타이레놀이 효과가 없는레후
-
그러나 생각을 하고 글을 쓰면 오르비를 할 이유가 없다
-
주관적으로 경험하는 정서적 고통감을 강렬하게 호소하는 경향이 시사됨. 주변에 대한...
-
다들 조심하세요 4
누군가 보고 ㅈ같을만한 글은 쓰지 마십쇼 이런 중요한 시기엔 더더욱
-
벚꽃... 볼수있겠지?
-
누구보다빠르게 2
남들과는다르게 초얼버기
-
-
수학 실력이 더 늘수가 있네…
-
매에 탑승함
-
인정할건 인정해 3
여자 안생기는 이유 3가지임 1.안씻고 다녀서 2.자기관리 안해서...
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다