가설 변경
게시글 주소: 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를 선물하세요.
-
삼수가능성 1
현역 화미영상지 43243 (수학 낮3) 재수 언미영생지 32212 (국어...
-
관계기관장이 질병기록 확인 가능, 임용시 거르기 학부모 + 기관장 심사로 현직도...
-
누구대가리에서나온생각이냐 ? ㅈㄴ패고싶네
-
?~?
-
대학뱃지 있으면 4
전체 수험생 중 상위 몇프로일까요?
-
1. 일단 웬만한사람 2. 특히 국수 점수가 나오는데 과탐은 안나오는사람 목표가...
-
동국대 추합 3
동국대 기계공 39명 뽑는데 2차 기준 7명 까지 밖에 안빠졌는데 18번까지 돌까요..
-
스윽 0
.
-
평소같았으면 1바퀴면 겁나 많이 돈건데 그걸 넘어서서 이번 차수에 5명(1/3)이...
-
뭐해야하지? 나는 내일 입소고,룸메는 일요일에 오는데 미리 기숙사 청소 끝내두면...
-
그러하다
-
하…..적어도 알고라도 있으면 슬플준비라도 했을텐데
-
족발 먹어요 1
-
추합 몇번까지 돌까요..? 최초예비 167번 2차 추합 예비 83번입니다 앞으로...
-
경북수,동의한,충북의 지금까지 추합 어케 되나요ㅠㅜㅠㅜㅠ? 0
알려주시면 정말로 감사하겠습니다ㅠㅜㅠㅜㅠㅜㅠㅜㅠ
-
단국대 합격생을 위한 노크선배 꿀팁 [단국대25][새내기를 위한 꿀팁] 0
대학커뮤니티 노크에서 선발한 단국대 선배가 오르비에 있는 예비 단국대학생,...
-
뭐 학과 오티 3시간 대학 오티3시간+뒷풀이 막 이렇던데 뭘 하길래 3시간씩이나함뇨…?
-
백분위가 국어96 수학95 나왔는데 화학이3등급 생명이4등급이 나옴 스카이공대나...
-
중대경영 18
왜 626번에서 멈춘 건데 추합 더 돌아라 중앙대야 중대 경영
-
정치와법 상당히 어렵게 나오네요. 형법 이론은 이해가 중요합니다. 단순 암기 안돼요 2
생각했던것보다는 어려워요 제가 모르는 분야는 바로 풀기 어렵고요 제가 제일 잘 알고...
-
하...
-
강대 시간표좀여 4
강대 본원 시간표인데 제가 독서랑 미적분이 약한데 수정할부분 좀 있으면 알려주세요..
-
그렇대요
-
저능행동 1
-
오늘 식당알바 죽어나가겠구나~~~하하하
-
후기 보니 3시간 내내 어깨동무하고 헤드뱅잉 시켰다네요 허리 발목 다 쓰레기인데...
-
오늘 발렌타인인데
-
예비17번으로 들어왔네요
-
중앙대학교 AI학과 25학번 아기푸앙이를 찾습니다!! 0
의혈중앙❗️ 통일공대❗️ 미래선도 AI❗️ 안녕하세요. 제5대 AI학과 학생회...
-
소주 시켜서 0
나 혼자 마시면 주량체크 가능하겠죠? 내일 대학교 기숙사 입사 전에 오늘 저녁으로...
-
입시 결과에 만족하면 오르비 떠야함? 오르비에서 구라쟁이 저격했다고 열등감, 후회충...
-
나를 논술최저로 떨군 고경제를 부순다
-
주위에서 많이 듣는데 엄청 좋다네요
-
하루빨리 올라가고 싶다며 설레할 땐 언제고 백수생활 청산할 거 생각하니 조금 아쉽긴...
-
하 죽고싶다 4
하
-
평가문제집,자습서만 외우게 하면 90 넘기니까 알바비 날로 먹을 수 있을텐데
-
경영vs경제 5
중앙대 경영 경제 둘다 붙었는데 어디가 좋을까요? 공대로 전과할거라 학점따기 쉬운곳 추천좀..
-
지상에서 아줌마 1명이 통화하고 시끄럽게 돌아다니는거 여기서 다들님 ㅋㅋ
-
알려주실 천사 같은 분?
-
풀집중 전제인가
-
한양대 정책학과 1
한양대 정책학과 예비 몇번까지 빠졌는지 아시는 분 있나요..?
-
근데 왜 저한테 먼저 전화가 안 오고 엄마한테 먼저 전화가 가는걸까요..?? 그리고...
-
중딩>>>고딩이라고 느껴짐 뭔가 많이 잘못되었다
-
근데 뭐 과도 꾸지고 학고반수하면 전과복전도 불이익 있을거고 서울가면 대학생활...
-
제 수시 지원 대학들인데 1-6망 순서를 모르겠어요 포공 카이 성대 자연2장 성대...
-
ㅏㅎ
-
경찰대 고민 0
혹시 경찰대 합격하신 분들 중 입학이나 등록 놓고 고민하시는 오르비언분들 있나요??...
-
3차 추합 현황 11
-
완전성이 보장된 명제논리(논리회로)를 쓰는 컴퓨터로 페아노 산술(PA)을 구현할수...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..