충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
이게 무슨일이야..
-
나처럼 클린하게 살았으면 그럴걱정 없자나
-
저는 수학가,나형 시절 수험생입니다 전형적인 내신형,암기형 머리로 전교권에 있었지만...
-
그래서 제가 어디 다니냐면요
-
상위권 입시는 역대급일듯
-
내일 9시 기상인데 몬스터가아아아아악
-
중상위권 여자애들 중 18
남의 공부에 ㅈㄴ 관심 많은 친구들이 있어요( 나쁜 의미 ) 같은 반이면 개피곤함
-
무물보 4
스펙 무직백수임 히키코모리임 모솔임 키 160대임
-
예열 뭐뽑아가지 2
비타민K는 일단 정했고 다른거 추천 받슴미다
-
근데 내가 탈릅해도 내 레어들은 아무도 안살 것 같아.. 13
서러워 울었어
-
N제 도입 시점 1
어느 과목이든 평가원 기출로(혹은 실전개념 강좌로) 자기만의 기준을 만든...
-
아 더워 1
크아아악
-
난 못구할거같아
-
정확히 24개 올라옴
-
버기 중에서도 4
얼버기다
-
휴학하고싶다 1
응...
-
아직 파데킥오프하고 있는 것 같은데..?
-
개인적으로 응원가 순위 17
민족의 아리아>포에버>들보기>하늘끝까지>연세여 사랑한다
-
저는 2406이랑 2509 전자는 그냥 망쳤고 후자는.. 음
-
연애하긴 그른듯 14
내가 못 다가감 거절이 너무 무서워
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함