충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
2만원 곧 6만원 찍을듯
-
몇살같냐고물어본다음에 20살나올때까지유도심문함
-
응애응애
-
쉽지는 않았다는건데 쉽다는 평이 왜 많았을까
-
똥을 주물주물 9
한입 크기로 쪼개서 냠냠
-
[소개 및 성적인증] https://orbi.kr/00071877183 [팀원...
-
ㅇㄷㄴㅂㅌ
-
가보자가보자
-
여기 수준이 너무 높네 19
다 국수90몇 탐구 50 47이네 역시 최상위권 커뮤니티 중상위권은 없나
-
... 사실 오늘은 아니고 두시간 뒤.. 축하해 줄...
-
결국 과외 구하는 것도 하나의 셀프 마케팅이자 셀프 브랜딩임 사실 갓 대학생이 된,...
-
저작권 이슈로 인해 문제 발문은 올리지 못하는 점 양해부탁드립니다. 8번 ㄷ선지에서...
-
연애 관련 고민 19
옛날부터 있던 고민인데 저는 썸에서 빠르게 연애로 넘어가면 오래 못 갈 거 같다는...
-
왤케 텐샨업 흥분되죠
-
사실상 다 엔수생인데 이거 무보정 1컷은 ㅅㅂ ㅋㅋ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함