충격적인 발견을 함..
게시글 주소: https://orbi.kr/00071901456
1. (A가 거짓일때->모순이 있다)->(A가 참이라는 증명이 있음)
1의 대우명제를 만들건데
p->q의 대우명제는 not q ->not p 임
그리고 b->c 의 부정형은 b and not c임
따라서 1번의 대우명제는 2번.
2. (A가 참이라는 증명이 없으면)->(A가 거짓이고 and 무모순이다)
2번을 보면
"A가 참이라는 증명이 없으면, A가 거짓이다"
A에 공리를 대입하면
"공리가 참이라는 증명이 없으면, 공리가 거짓이다"
공리는 원래 참이라는 증명이 없음
따라서 공리는 거짓임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
저 덕분에 현실 알게된 수의대생 분들,,, 지금이라도 늦지 않았습니다 일단 인설약...
-
존나쓰담쓰담마렵네 13
키 20cm넘게 차이나는 누나한테 쓰담쓰담 받고싶다는거임 ㅇㅇ...
-
단성학교라 이해도 공감도 전혀안되는 옯붕이들은 7ㅐ추
-
님들 키 몇임? 21
나는 172 ㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠㅠ
-
우선 괴델의 불완전성 정리제1정리. 페아노 공리계를 포함하는 어떠한 공리계도...
-
연애시작후 나중에 그 사람이 나를 많이 좋아한다고 느낄 때의 감정은 어떨까 결혼마려울듯
-
천만덕 가쥬아
-
라인 한개 이상 억까보고 대학 가니까 지금 대학이 ㅈㄴ 싫다 진짜 자살말린다 진힘
-
적백 댓글좀 8
칭찬해줄게
-
레전드문찐이네 13
마블 영화 앤트맨1 빼고 하나도 안 봄 엔드게임 이런 것도 해리포터도 하나도 안 봄...
-
건공 경희공 11
건대 낮공이랑 경희 높공 중에 어딜 가야할까요 지리적 위치와 학교 상승세 보면...
-
300제로 부족함 전개년 두번씩 볼 가치가 있음 ㄹㅇ
-
1년 11
갖다버렸음
-
나는 이미 샤뽕 가득찬 수의공무원+박사과정 지망생이야 ㅋㅋ
-
제가 정시파이터 현역 고3인데 4박5일로 가족끼리 여행을 가게됐습니다.. 빼고...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함