가설 변경
게시글 주소: https://orbi.kr/00071954437
1. (A가 거짓->모순)->(A가 증명있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 증명없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 증명없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 증명있음)
그리고 원래 참으로 여기고 있는것들이
5. (A가 증명있음)->(A가 참)
6. (A가 거짓)->(A가 증명없음)
임
3번과 6번을 연결하고
4번과 5번을 연결하면
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
9. (A가 공리)->(A는 증명없음)
7번과 9번 연결시,
10. (A가 공리)->(A가 거짓)
(A가 공리) and (A가 거짓) 이면
11. "A->(모든명제)" = 참
7번과 8번을 가져와 생각해보면
11번의 후건이 "거짓" 이라면 후건의 증명은 없다
왜냐하면, 11번이 성립한다해도
거짓과 거짓은 반드시 동치이므로
거짓으로 거짓을 증명한다는건 실제로 외부명제로 증명하는게 아니라 순환논리임
따라서 11번에서 후건이 거짓일때 7번이 성립
11번의 후건이 "참" 이라면 후건의 증명은 있다
왜냐하면 11번을 보면 A가 거짓이고 후건이 참일떄,
거짓과 참은 다른것이다
즉, 거짓으로 거짓을 증명하는 순환논리가 아닌것이다
따라서 8번도 성립
결론
7. (A가 거짓)<->(A가 증명없음)
8. (A가 참)<->(A가 증명있음)
공리는 "거짓"
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
풀배터리 검사 받으면 자기 자신을 더 잘 알 수 있어요..저도 검사 내역지를 보면서...
-
대형 스터디 집현전을 만들 예정, 신분과 직위 그 어떤것도 개의치 않고 개인의...
-
음하하하
-
요새 잠도 잘 못 자고 매일 커피 마시고... 건강악화 + 잦은 치과 진료로 인해...
-
그나마 낯을 많이 가려서 다행이지 사회성이라도 뛰어났으면 남들 고혈이나 빨면서 살았을듯..
-
골반으로 패스하기 ㅋㅋㅋㅋㅋ 심지어 병살임
-
이 새끼들은 자기과시, 포장의 달인이기 때문에 얼핏 봤을 때 유능해보이고 매력적으로...
-
개발점 2
스텝1은 계산실수 없음 다 맞는 정도인데 스텝2 다 맞을때까지 시발점 n회독하는게...
-
저새낀 너무 분탕충이다
-
남자끼리 한남 하는건 허용 다른 집단 구성원이 쓰면 논란될 수 있음
-
제가 2월까지 개념의 나비효과랑 워크북을 병행하면서 푸느라 일클래스를 2월 후반부터...
-
겨드랑이 파마늘 0
제가 좋아하는 3가지입니다
-
ㅈㄱㄴ
-
아가리를 열는 닫든 자만추가 가능한 정도의 호감도를 갖추는게 목표임 나갸 여선 애리히 프롬이여
-
내가이상한걸까 0
보나마나
-
지랄 염병 ㅋㅋ 왜 모솔인지를 모르는구나
-
대학 가면 연애(연예인아님) 할거다
-
심찬우 생감 듣는중인데 22강 나목 추가지문 어디서 다운로드받나요 ㅠㅠ
-
남자는 어떻게든 스스로 먼저 나서지 않으면 연애가 힘들잖아요....제대로 말하는 법을 배우고 싶네요
-
컨디션 최악 어제 당구 세시간 친게 문제다
-
확통 뭐풀까요 3
고3이고 현재 국영수탐올1인데 미적이 너무 불안해서..ㅎ 확통런하려고요 작수확통...
-
5분 후부터 롤하실분 18
칼바람 아레나 랭크 일반 다 좋아용
-
모쏠이 입닥치면 진짜 말그대로 시체가 된다니까?
-
다들 왜 햄버거만 먹녀고 물어봄 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
니들은 입만 닥치고 있어도 중간은 간다.
-
번역 소프트웨어 사용 중
-
아아악 개가튼거 1
독후감쓰기시러 일반물리복습시러 미적분학은 학습편의성하나도엄서...
-
작수 미적 3등급이였고 작년엔 뉴런을 했어요 ㅠㅠ 일단 시발점으로 복습 다 했고요...
-
메디컬 나와서 로스쿨 지원하려고 합니다.(메디컬 갈 수 있는 성적이고 타 일반 학과...
-
일단 평가원에서 저격 안먹을리가 없음
-
ㅇㅈ 한번 더 11
-
사탐런 체감함 6
우리 동네 스카 오랜만에 왔는데 나만 과탐이고 다들 사문 마더텅을 꺼내 놓고 있네
-
지금 재수중이고 문해완, 수특, 문접원 끝냈습니다. 모고 풀때는 시간이 좀 부족해서...
-
있나요
-
부모님 지원 없이 반수하고 있어서 경제적 부담이 좀 큰데 메가패스 없이 대성패스로 충분할까요?
-
어 시발 우산 없는데 좋됐네
-
시대인재 김성호 선생님의 시즌1 수강 후 시즌 2교재를 보니 n제 하나 둘 정도는...
-
밥먹고 게임할까 3
첫끼는 든든하게 먹고 게임할까
-
이거 출신 고등학교에서 검고 어케 선택해요?
-
행복하다 1
-
일반물리 버리고 싶다
-
기하개념 1주일컷 와랄라 vs 공통도 하면서 넉넉하게 2주 3
ㅈㄱㄴ 인강들어뇨
-
이게 말이 됨??
-
고2 때 과외강사 어떻게 그 돈받고 수2 함수 비율관계 언급을 한 적이 없냐 숙제...
-
감튀가 몸에 안좋은건데 그 둘이 같이 먹을수 없다면 나한테는 먹는 의미가 없다는것임....
-
고기 먹기 실패
-
똥을 40분씩 쳐싸는 새1끼는 살면서 처음보노
-
글쿠만
-
아니 이건 너무 하자나여 아무리 그래도 4점인데
-
어제 뭣 좀 하느라 만들었는데 배경화면으로 나쁘지않을거같아서요
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..