충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
중등 수악 잘 모르는 상태엿지만 수학 상 수학 하, 수학 1로 떼웟음 중등 삼각비...
-
다들 읽어보고 흥미로워하길 바람 노잼이라고 하지말아줘
-
XX님 따라하게
-
건동홍시임
-
그래서 무서움
-
실패만 하는 내 인생 10
-
연애메타를 보는 본인 11
소설읽듯이 읽음
-
모태솔로는 이제 설 곳이 없구나.
-
tmi 7
나는 오르비를 할 때, 웹을 3개 이상 켜놓음.하나는 공부 관련 글, 칼럼같은거...
-
흐흐 예상댓글)은테 축하해요 축하하니까 1000덕 드림!!
-
자니? 13
자는구나
-
캬~
-
네임드는 이 시간에도 무물글이 5분만에 저렇게 차는구나 4
이게 고닉인가...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함