충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
내일3모네 1
하…ㅈ됫
-
어쩌겠어 이렇게 태어난걸
-
3덮 미적 81 2
백분위 몇일까요? 보정/무보정 둘다
-
개이쁨
-
굿바이 뉴진스~ 5
잘가요~
-
아무도 모르지 않을까
-
계산실수면 맞았다 치고 발문오독도 맞았다하고 그냥 실수면 무조건 맞은걸로 치고 올렸음
-
엄마랑 싸웠쓰..
-
연애하면망하겟지?
-
24수능
-
"갑은 노인들의 스포츠 활동이 사회적 지지감에 미치는 영향을 파악하고자 가설을...
-
목표가 적백이나 1이 아니여도 하는게 좋겠죠? 갈길이 머네요
-
잔다리 4
ㅃ
-
수학 기출 회독할때 풀이 바로바로 떠올리는게 맞는건가요? 2
저는 처음 푼다 가정하고 특이점 뭔지 알아도 이 악물고 안떠올리려고 하는데 이게 맞는 방법일까요?
-
확통 5강정도 였어서 확통을찍는것도 아닌거 같은데 미적 버리진 않겠지
-
제발 아프면 병원 좀 가거나 오트리빈을 사거라
-
확실히 사문보다 난도는 있는거같은데 사문은 다 쓰면서 벅벅 푸는 느낌이라면 경제는...
-
우는 중 5
뻥임 ㅋㅋ
-
어싸 밀렷다 2
큰일났따….
-
6시 기상 2
ㄱㅂㅈ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함