[모든 참인 명제는 부정해도 무모순임 증명]
게시글 주소: https://orbi.kr/00071403001
증명이란
공리에서 결론을 도출하는것
공리가 참이면 결론이 참
대우
결론이 거짓이면 공리가 거짓
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
결론이 거짓이면 공리가 거짓
공리가 거짓이면 무모순
따라서
결론을 부정하면 무모순
1. 공리를 부정하면 무모순
2. 결론을 부정하면 무모순
모든 참인 명제는 공리거나 결론이다
따라서
모든 참인 명제는 부정하면 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
왜냐면 합격한적없음..
-
솔직히 저능인이다 뭐다 해도 옵붕이들 다들 공부 열심히 하는 멋진 사람들임 내기 보기엔 그럼 ㅇㅇ
-
빈티지룩 2
얘 왜케이쁨 잘어울리는 여자가 입었을 때가 걍 레전드임
-
사실 전 8
기타(통+일렉) 베이스 드럼 건반 다 됨 보컬이 문제임 심각한 수준을 넘어서서...
-
닉추천 3
남고에 빡빡이인데 어울릴만한거 추천좀 ㄱㄱ
-
대학커뮤니티 노크에서 선발한 숭실대 선배가 오르비에 있는 예비 숭실대생, 숭실대...
-
머리 짧았을땐 잘생겼었나 기억이 안나네 근데 지금은 음 잘모르겠던데 태오였나...
-
여친 눈만 ㅇㅈ 8
-
요즘은 게임은 안하니 맥에 꽂히는구나
-
일단 내신은 전교과 2.0.. 기가한문중국어정보 제외 1.87입니다 과중 출신 물리...
-
액트 수업 어카지 진심 완전 로봇마냥 뚝딱거릴 것 같은데
-
보인다 보여 3
⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣴⣾⣶⣦⣤⣄⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⠀⣠⣾⡿⡛⠝⡛...
-
국어는 수능1-2정도 나옴 수학은 6 거의 첫장이랑 단답형 3개 풀고 찍고...
-
나랑 가장 친한 친구가 내가 5년넘게 좋아하는지 알면서도 짝사랑녀한테 고백했음...
-
잘라야겠드아
-
저의 사랑을 드려요
-
노래방에서 공부하기
-
기하런하기
-
저 현실에선 성격 개쓰래긴데 인터넷에선 착해짐.. 근데 딱히 가면은 아님
-
뻥축이라 더 템포가 빠름
제가 수학 전공자는 아니라 정확히는 모르겠는데, 참인 명제는 해당 공리들로부터 도출되기 때문에 공리를 부정해도 무모순이라는 것이 곧 참인 명제를 부정해도 무모순이라는 결론으로 이어진다는 건가요?
참인명제가 결론인 경우 결론이 거짓이면 공리가 거짓이고 공리가 거짓이면 무모순. 따라서 참인명제(결론)을 부정해도 무모순.
공리는 참이라는 증명이 없음
따라서 귀류법 증명이 없음
따라서 공리를 부정하면 무모순
참인명제는 공리거나 결론이기 때문에
참인명제를 부정하면 무모순
그렇다면 쿠쿠리님의 증명 또한 어떠한 공리계 상에서 이루어졌기 때문에 부정해도 무모순 아닌가요?
맞습니다
그렇다면 이 증명에 어떠한 의미가 있나요?
어허 감히 쿠쿠리님에게 이의를 제기하다니 불경한것!
모든 참인 명제를 부정해도 무모순이죠..
1+1=2를 부정해도 무모순이죠
감히 이의를 제기해서 죄송합니다 제가 죽을죄를
ㅋㅋㅋㅋㅋ