가설 변경
게시글 주소: 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를 선물하세요.
-
수학 상하 공부가 수능에 중요하다고 생각하시나요??? 6
어떻게 생각하시나요???
-
내가 뮤지컬 다 보고 광분하는 것도 들어줘야됨 표값 개비싸서 한 번 보면 거지...
-
그럴만한 결격이 있다는 뜻임...매우 안좋은거임..저같은 경우에는 난치병이 있다던가..
-
지금 시야 밝기가 암흑상태
-
성대 입학처 0
성대 입학처 주말에도 일하나요?
-
친척여동생 고1인데 저번에 친구들이랑 길가면서 헬스장 옆에지나가는데 갑자기 어떤...
-
미적분 3월안에 1
시발점+워크북만 끝낸거면 몇타치인가요 기하에서 미적으로 바꿔서 늦게 시작했어오
-
이놈의 집구석 1
빨리 뜨고싶다 부모가 말이안통한다 하.. 맨날싸우면서 에너지낭비ㅜ
-
수험번호 체크도 안하고 뱃지 주시는거 같던데 기생충 딸래미마냥 위조 해버리면..
-
수능만점 성대의대가신분 보고 설의 못쓴게 납치가 아니라 선택과목때매 그런거같다...
-
예비 3번 존버 실패하냐 이거
-
세종대 합격생을 위한 노크선배 꿀팁 [세종대 25][수강신청꿀팁] 0
대학커뮤니티 노크에서 선발한 세종대 선배가 오르비에 있는 예비 세종대생, 세종대...
-
어디까지 도는거임 대체
-
언젠가그기너를 2
맘아프게해너혼자울고있는걸봤어 달려가
-
다들 초콜릿은 받으셨는지??
-
좀 아쉬운데 등록할곳은 아니라
-
프로필 왜이래 4
못들어가서 맞팔해줘야 되는데 안됨
-
재수 잇올에서 독학재수했는데 집중도 개잘되고 오히려 공부하는게 꽤 재미있엇는데...
-
지문 읽었을때 안 어설프고 할수록 더 익숙하고 숙련도가 올라가고 그런게 느껴져야함? 계속 계속
-
후자 간다면 cpa 준비할 생각이에요
-
여캐일러 투척 5
-
ㅈㄱㄴ
-
-
연애하고싶다 5
아닌가
-
맞팔구 4
앱으로 다 해드렷습니닷
-
시야가 어둡노
-
-
제발 알려주세요 ㅠ 다군입니다
-
ㄷㄷㄷㄷ 이름 가림
-
유쾌한 시비충인 것임
-
오르비는 아닌데 지하철에서 눈팅하다가 덕후처럼 생긴 뚱뚱한 사람이 보길래 궁금하다는 글이 올라옴
-
님들은 오르비 1
앱으로 씀? 아님 인터넷으로 들어옴? 폰으로할때
-
과탐할까사탐할까 3
수탐만 올리면 되는데 지구사문할지 생지할지 고민됨 약대가고시퍼 작수엔 생지했고 생명박긴했어
-
어디 빈약한 부분같은거 보완해줘
-
좀 친해지고 나서 그런 케이스 있음?
-
너는 잊는것이 병이라고 생각하느냐?...
-
반수 시작 때 제 마인드였습니다 건대는 못갔지만 동대 예비1이고 추합 대기중입니다 다들 ㅎㅇㅌ
-
제가 문학이 약해서 넘 고민되네요 ㅜㅜ
-
솔직히 말해서 06까지는 나 지금 일어났는데 저녁메뉴 추천좀 부탁드림
-
맥북 사고 싶다 1
맥북 사고 마크하는 게 소원임 ㅜㅜ
-
일찍 할수록 보이는게 많고 내신도 챙기고 여러모로 도움 많이 됐을듯 특히 ㅈ반고라면 강추
-
이런 장에서는 난 못벌어가니까 일찍 자야지
-
좀더 마르고싶다 13
50키로정도까지
-
오티 가서 타학교 전추 받을 수도 있어서;; 그래도 오티 가야겠지?
-
너는 잊는 것아 병이 아닌 것이 아니라고 생각하느냐?
-
5만원들고 5
강대k 3회~10회 강대x 시즌1 (풀4+하프4) 를 삿어요 장학금, 세벳돈,...
-
애먼 05년생들 물귀신시키는 중이면 7ㅐ추 ㅋㅋ
-
오늘 추합됐는데 ot 가고싶어여... 경제학부입니다
-
어떻게 해야할까요
-
미적 풀이 ㅁㅌㅊ 17
님들은 나처럼 고생하기 싫으면 적분 계산 확실히 연습하고 어려운거 하셈 내가 미적...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..