충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
모태솔로는 이제 설 곳이 없구나.
-
tmi 7
나는 오르비를 할 때, 웹을 3개 이상 켜놓음.하나는 공부 관련 글, 칼럼같은거...
-
흐흐 예상댓글)은테 축하해요 축하하니까 1000덕 드림!!
-
자니? 13
자는구나
-
캬~
-
네임드는 이 시간에도 무물글이 5분만에 저렇게 차는구나 4
이게 고닉인가...
-
애반가요??
-
에휴이 Xayah 얘기하면 진짜 차단
-
인생망함 3
ㅇㅇ
-
오늘의 기출 10
-
-
잘거다 7
셀레스티얼빼고 말걸지마
-
투두메에 심야자습란 만들고 ㅇㅇ이랑 만나기 이딵거 적고 공감 누르면서 놀기 점심...
-
이게 통매음으로 한번 고소당할뻔 해서 그런가 모르겠는데 4
여자한테 함부로 욕도 못하겠음 솔직히 트라우마가 씨게 잡혀서 대화밖에 못함
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함