충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
윤사 생윤에 비해서많은편인가ㅡ.. 수특으로찍먹해보고싶은데
-
있으면 제일 가고싶을거같은 데 1위
-
저는 내일 예비군 갑니다... 겁나 가기 싫다...
-
에픽하이 One 2
노래 조으요
-
수학실력 늘었네 2
예전엔 11,12번까진 술술 풀리다가 13,14번부터 어려웠는데 요즘은 13,14도...
-
생윤 진짜 2
거의 2주동안 나름 열심히 했는데 ㅈ도 모르겠고 걍 과탐할까…ㅋ
-
제가 못하는건가요 아니면 기계가 원래 그렇게 만들어진거에요 도지히 못뽑겠던데
-
보정 백분위 어느 정도일까요? 1등급은 무리일까요?
-
막 지문 옆에 다 적어가면서 푸는 친구 열심히 하는데 머리를 안 씀 하... 어케...
-
질문하고 싶은 분한테 찾아가서 무작정 쪽지 보내는건가요? 궁금한게 생겼는데 물어볼 사람이 없네요
-
고3 한국사때 보면서 존나 웃었는데 ㅋㅋㅋㅋ 친일 포스터인가 했는데 거기다 안경 씌움 ㅋㅋㅋㅋㅋㅋ
-
마지막 민지 활동 사진.... 언제 다시 활동하려나. 다시 모이긴 할까...
-
아이민 몇까지 나왔는지 궁금한데
-
국어의 을사오적 3
1. 배아픔 2. 배고픔 3. 긴장됨 4. 잠못잠 5. 실수함
-
어케 저런생각을
-
자꾸 njz 보면 뉴진즈라고 발음하게됨
-
수형도 그릴 때 2
가로로 돌려서 푸시나요 하다가 칸이 자꾸 부족하던데
-
약간 도핑느낌으로 살짝만
-
실모 기록 4
화학 브릿지 1회 40 오답:13;16,17,19
-
물리학1, 생명과학1 둘다 노베고요 저 뭐 고를지 모르겠는데요 1....
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함