가설 변경
게시글 주소: 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를 선물하세요.
-
2022년 7월: https://orbi.kr/00057971264 2022년...
-
독하다 독해
-
오르비 화이팅 4
열심히 해서 나쁠게 없다
-
세요 축구 농구 뭐 이런거 있던데 기본만 할줄 아는데 해도 뭐 상관 없으려나.....
-
옷도 좀 사고 준비할 것들도 좀 사고...
-
걍 동등관계면 며칠 신경쓰이다 말겟는데 상급자가 저러면 내 행동하나하나가 의식되고...
-
뭐 수1 수2도 중요하지만 수학 상하랑 연계되는 내용이니까 베이스가 탄탄해야 높은...
-
롤 ㄱㄱ 2
ㄱㄱ
-
합격통보를 받았습니다 듣기론 반에 따라 국수엔 선생님 배치가 달라진다는데,...
-
노란색으로 되어있는 레어를 사면 약 20% 페이백 파란색으로 되어있는 레어를 사면...
-
막상 정상 되니까 좀 별로네. 다시 바꿔놔야지
-
작수 수능 확통으로 백분위 65정도 나왔는데 레알비기너스부터 해야할까요 아니면...
-
어디로 가야할까요?? 아빠가 성대를 갔으면 하는것 같아요
-
프리랜서로 돈 좀 벌어보려다가 아무래도 망해가는 중인 거 같음... 뭐 대책이 아예...
-
지금이시즌엔 아무리 빨리돌아도 17명뽑으면 68명이 최대아닌가 그러면 나머지 몇백번은 다 전추에요?
-
수학 상하 공부가 수능에 중요하다고 생각하시나요??? 6
어떻게 생각하시나요???
-
내가 뮤지컬 다 보고 광분하는 것도 들어줘야됨 표값 개비싸서 한 번 보면 거지...
-
그럴만한 결격이 있다는 뜻임...매우 안좋은거임..저같은 경우에는 난치병이 있다던가..
-
지금 시야 밝기가 암흑상태
-
성대 입학처 0
성대 입학처 주말에도 일하나요?
-
친척여동생 고1인데 저번에 친구들이랑 길가면서 헬스장 옆에지나가는데 갑자기 어떤...
-
미적분 3월안에 1
시발점+워크북만 끝낸거면 몇타치인가요 기하에서 미적으로 바꿔서 늦게 시작했어오
-
이놈의 집구석 1
빨리 뜨고싶다 부모가 말이안통한다 하.. 맨날싸우면서 에너지낭비ㅜ
-
수험번호 체크도 안하고 뱃지 주시는거 같던데 기생충 딸래미마냥 위조 해버리면..
-
수능만점 성대의대가신분 보고 설의 못쓴게 납치가 아니라 선택과목때매 그런거같다...
-
예비 3번 존버 실패하냐 이거
-
세종대 합격생을 위한 노크선배 꿀팁 [세종대 25][수강신청꿀팁] 0
대학커뮤니티 노크에서 선발한 세종대 선배가 오르비에 있는 예비 세종대생, 세종대...
-
어디까지 도는거임 대체
-
언젠가그기너를 2
맘아프게해너혼자울고있는걸봤어 달려가
-
다들 초콜릿은 받으셨는지??
-
좀 아쉬운데 등록할곳은 아니라
-
프로필 왜이래 4
못들어가서 맞팔해줘야 되는데 안됨
-
재수 잇올에서 독학재수했는데 집중도 개잘되고 오히려 공부하는게 꽤 재미있엇는데...
-
지문 읽었을때 안 어설프고 할수록 더 익숙하고 숙련도가 올라가고 그런게 느껴져야함? 계속 계속
-
후자 간다면 cpa 준비할 생각이에요
-
여캐일러 투척 5
-
ㅈㄱㄴ
-
-
연애하고싶다 5
아닌가
-
맞팔구 4
앱으로 다 해드렷습니닷
-
시야가 어둡노
-
-
제발 알려주세요 ㅠ 다군입니다
-
ㄷㄷㄷㄷ 이름 가림
-
유쾌한 시비충인 것임
-
오르비는 아닌데 지하철에서 눈팅하다가 덕후처럼 생긴 뚱뚱한 사람이 보길래 궁금하다는 글이 올라옴
-
님들은 오르비 1
앱으로 씀? 아님 인터넷으로 들어옴? 폰으로할때
-
과탐할까사탐할까 3
수탐만 올리면 되는데 지구사문할지 생지할지 고민됨 약대가고시퍼 작수엔 생지했고 생명박긴했어
-
어디 빈약한 부분같은거 보완해줘
-
좀 친해지고 나서 그런 케이스 있음?
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..