증명된 사실을 부정해도 무모순 임을 증명
게시글 주소: https://orbi.kr/00071398975
증명이란
특정한 공리들을 가정하고, 그 가정하에서 어떤 명제가 참이라는 것을 보여주는 것을 가리킨다.
즉 증명이란
공리로 결론을 도출하는것
공리가 참이면 결론이 참
결론이 거짓이면 공리 중 최소 하나는 반드시 거짓이다.
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라사 공리를 부정하면 무모순
따라서 공리가 거짓이면 무모순
즉
결론이 거짓이면 공리 중 최소 하나는 거짓이다
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제
1+1=2라는 결론을 부정해도 무모순
철수는 사람이다
사람은 죽는다
철수는 죽는다
에서 철수는 죽는다 를 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
재수생입니다. 4
2월 재수 공부 방향에 대하여 (3문단부터 읽어주셔도 됩니다.) 안녕하세요. 1개월...
-
벌점 200점먹고 산화하는 미래를 봤던것같은데
-
강k 32개짜리 서바 28개짜리 이런거 벅벅하고싶은데 답지랑 문제지랑 따로노는거...
-
대학원 유학 좋은 곳으로 가기 좋음?
-
180도잖아요 ㅋㅋ 이거 이해안되면 시발점이나 하러 가세요~~ 라고 옆집 영희가...
-
수학 하다가 너무 안되서 멍청한 내 자신이 너무 혐오스러웠음 12월 초부터 멘탈...
-
질량이 음수로 나와서 섬찟하다가 3년전 생2 20번을 떠올리고는 안심해서 질량을 음수로 놓고 품
-
1. 다른 학과랑 해야하는 팀플이 많이 있나요? 있다면 큰 문제 없이 할 수...
-
언매 내신 5
기출 말고 내신틱한 문제는 뭔 문제집 풀어야함?
-
월 500은 한학기 등록금급이냐 무슨 부모님 척추 360도 휘어서 오히려 정상화되겠네
-
그 누구도 막을수없다 하하하
-
단정한 외모 : 피부 옷차림 머리 향 다 신경쓰기 + 정상체중 차분한 말투:...
-
생각난당
-
언매 양 5
생각보다 적은듯??
-
열에너지나 정전기로 충전 못 시킴?
-
우리엄마생신임 ㄹㅇ임
-
다이소가서 사봐야지
-
운동해요 5
운동 좋아요
-
좀 우쭈쭈해주다 가끔 세게나오면 어쩔줄몰라함 막 미안하다면서 좀 귀찮을정도로...
-
궁금합니당
일찍 일어나셨네여
쿠쿠리의 증명을 부정해도 무모순
좋아요 드립니다