충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
특정한번 당하니까 바로 그냥 아이고아이고아이고아이고 아이고맨이 되어버리고 이제는 망해버렸어
-
국민대 행정학과 0
해외여서 시간헷갈려서 못봣는데 이번에 국민대 행정 3차 어디까지 붙음???
-
오르비 안녕히주무세요 14
내일 봐요
-
ㅋㅋㅋ근데 1
오르비 인터넷에 검색하면 오르비 허세가 키워드로 나오는데 뭐임 ㅋㅋ
-
어느 쪽을 주전공으로 삼는게 유리한가요?
-
갑자기 궁금해져서요.... 공대 학과중에서 국어 잘하는 게 도움이 될 수 있는 곳도 있나요..
-
잘못된선택일까
-
좋은 꿈 꾸세요 23
항상 꿈 같은 세상에 살길 바래요
-
쪽지창 들어가보니 어제 오랜만에 했었네요
-
준죠 나니소레 아이죠 나니소레 오이시 나 네 오이시 낫테나~
-
쪽지좀 줘요 0
쪽지준 사람 별로 없어서 옯붕이 슬퍼졌어ㅠㅠㅠㅠㅠㅠ
-
실개완 이거 어떻게 쓰는거예요? 그냥 계속 읽으면 되나요? 오늘 왔는데 겁나 두꺼움
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함