충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
나만 09인 느낌이야 ㅜㅜ
-
배고파요 4
밥 줘
-
졸리니 자러갑니다. 19
힘이 안나네요
-
-
무물 15
받고 자러안감
-
이번주에 미팅2개잇음 12
다음주에도 2개임 이번엔 내 여자친구를 찾을 수 있겠지
-
-
자기전에 기분 망쳐버림 씨이이이발
-
f(x+y) = f(x) + f(y) +2xy , f'(0) =4 일때...
-
난 남자선생님이 편하던데 더
-
무물 13
해주세요
-
2011년도까지 초등학교다니신분 ㅎㅎ
-
샤인미 6
수1 수2 중 뭐가 나음? 많이 발상적인가
-
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함