가설 변경
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를 선물하세요.
-
인하대 합격 5
3상향써서 개쫄렸는데 다행히 1차추합으로 붙네요
-
제가 한 4번정도 약속잡았는데 다 노쇼하더라고요... 옯만추같은게 있을리없어요...
-
확통은 꿀 맞음 6
구라임
-
전문직 결정사 오피셜은 아니지만 저정도면 전문가다. 전문가 선생님의 냉혹하고 정확한...
-
못찾겠는데
-
볼때마다 꿀밤마렵네 걍 시험지차이인거지 ㅅㅂ 이건 진짜 순수지능문제 맞는거같음
-
내가 시범과외 먹튀당할때 ㅋㅋㅋ치던애들이 정시나오고 과외구하면서 똑같이 당하고있네
-
오늘은 가야지 절대 오르비를 7시에 끄겠습니다.
-
안녕하세요 ㅇㅈ 5
-
일단 부산사람이고 군수해서 목표는 중경외시잡았는데 이렇게 되어버렸는데 맹목적으로...
-
나랑 4
옵만추 할 사람
-
인생 노잼 6
ㅇ
-
주식 어려워 0
그래서 걍 안 하려고
-
그냥 전체 인원만 알려주고 몇차때 몇 명 빠졌는지를 안알려주네
-
오늘 조발할 수 있나요?
-
무기력하다고? 5
난 방패력 엌ㅋㅋ
-
ㅈㄴ무기력하다 2
하 우울 어째
-
그럼 지금쯤 188 77 18 만날 여자 있어? <<<이거 올라와야되는데.
-
안그래도 말많은 논란이었지만 나같은건 투커리가 버거워...!! 진짜 시대 재종...
-
생글 두 지문 풀고 강의는 하나만 들음 김현우t 7주차 수업 듣고 10문제 풀기...
-
이제 고2 올라가는 학생인데 지구1 얼마나 보고 들어가는게 좋나요? 예를 들어...
-
이과들 심지어 실수들도 다 사2나 사1과1 하면서 사문끼고 가는거 같은데 이대로면...
-
편집할때 방송키시는데 팬튜브들끼리 디코로 친목도 하고...
-
뭐임? 전 딸기인듯
-
오늘의 학습일기 5
왜 클릭
-
뭔가뭔가인데.. 정시 평백 자료 정확한건가요? 지방대 기준 뭔가 하나도 안맞는거...
-
오늘의 학습일기 0
전형태언매 끝
-
4대미드 종결 6
페쵸쇼피 이비메셔 커
-
https://orbi.kr/00065300203/ 왜 중국몽에합류하지않았지?
-
동강대 의대그거
-
오늘의 학습일기 1
노베 재수생 오늘도 순공 0분
-
학점 4.5받은 애들이 자기 성적 자랑하는 기만글 엄청 많이 올림 그곳에서는 학생의...
-
오늘의 학습일기 9
지금 시작된다. 한 6시 50분쯤
-
오늘의 학습일기 4
국어 문학 비문학 각각 두지문씩 풀었다 비문학이 약점인데 최근 정답률이...
-
첨 알앗네
-
불합인가
-
삼전은 9만원에삼
-
술약 연기됐다 2
끼얏호우
-
ㅅㅂ 못하겠네 ㅈㄴ 소듕함 우리 과외생들의 피와살인데
-
-
테슬라 5x만원일때 샀는데 살짝 쎄해서 한 +2퍼일때 팔았음
-
씨발 잃어도 되는 돈이 어딨어 그럼 나 줘.
-
유튜브에서 누가 그러던데
-
일단 자취 > 아마 전세로들어갈거같아서 방값 일단 제외하고 적당한 차한대 유지...
-
상남자 특 3
고점에서 테슬라x2삼 상남자 안할테니까 본전만 와다오
-
거이 다옴
-
저녁 ㅇㅈ 2
맨두
-
외대 사회과학계열 빠지신분 몇분정도 빠지셨을까요 외대 한국외대 경희대 중앙대 한양대 의대 휴학
-
기하 개념도 많이 어려운가여? ㅠ 암기가 좀 많다고 듣긴 했는데.. 절평이라 공부...
-
질문하다가 으악 2
작년에 의대조교쌤이랑 일대일로 수학질문햇는데 설명해주는거 듣다가 급 딴생각중 이엇음...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..