가설 변경
게시글 주소: 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
사회계약설 수능공부 해야하나요? 출제된 지 오래됐다고 해서
-
001 0
...
-
화2 질문 22
화2 수특에서 하늘로 날린 풍선은 위로 올라갈수록 대기 압력이 감소하므로 크기가...
-
다들 모고 어떻게 보관해? 책상 벽 위에 올려놓는 것도 안되고 책꽂이도 조그매서...
-
이게 사실인가요? 어디서 주워들은건데
-
눈에서 심장박동 느껴짐..
-
배달x
-
공부 안될까요?
-
작수 20번 갬성 15
https://orbi.kr/00072456065 재밋음뇨 (bdfh님 문제)
-
여러번 곱씹어볼만한 엔제 뭐가있으셨나요???
-
오늘의모고 5
23새로운모. 당시 '해로운 모의고사'를 담당하던 그 새로운임. 미적으로 휼었고,...
-
이상 - 다 맞히셨나용?
-
내 수준에 맞는거임?? 계속 해도 되나 머리깨질것같네 하
-
제가 올오카를 늦게 2월달에 시작해서 좀 밀렸거든요.. 그래서 고민인게 이제...
-
.
-
밴당했노
-
수학 커리추천 0
03년생이고 유학중입니다. 현역때 수학 2~3이었고 유학하면서 calculus...
-
부경대 나온 놈이 자꾸 고등학교 때 공부 열심히 했다고 어필하는데 존나 얼탱이가...
-
보통 일요일도 공부하시나요? 일요일정도는 아예 풀로 쉬어도 ㄱㅊ겟지라고 생각했는데...
-
일단 스블 함 맛봐야겠다
-
48톤임
-
패딩 꺼내야하잔아
-
무한 커피 만들기 11
ㅍ..프라페같은거시키지말아주세요... 저 초보라서 5분은 걸려요...
-
살 오지게 찜 5
고3이라 그런거라 치겟음
-
스쿠류바 ㄹㅈㄷ 7
?
-
노래추천좀뇨 7
화2하면서들을거임 한국일본 다 받습니다
-
평가원 #~#
-
속이 너무 안좋아 10
무슨 생각으로 10시간동안 깡술을 퍼부은걸까 어제 저녁 이후로 아무것도 안먹음 죽고싶더
-
아
-
장점이 없음
-
내신 화1 5
화1 그냥 김준쌤 들으려 했는데 메가패스랑 대성패스 둘 다 사기엔 고3도 아니고...
-
저능아라 상상 처발림
-
화나서 냉장고에 있는 햄버거 꺼냄 ..
-
국어가 재능인 이유 10
시대인재 2025 실적 미적분 1등급 67% 국어 언 47% 화 20% 표본이 고인...
-
경제 질문 3
23년도 3모 경제인데 11번 3번 선지에 갑국 거주자의 외국 채권에 대한 투자액이...
-
난 그거 다 풀고 삼각함수 도형 활용나오면 안틀린듯?
-
합법으로 독재 안가게 수학 문제를 주세요 적당히 어려운걸로 캬캬캬
-
3덮이니깐 오늘은 쉬어도 되겠지?? 이번주에 진짜 진저리나게 공부했음
-
포크&나이프 이거 되게 재밌네 요즘에도 이런 웹툰이 나오는구나
-
우리 오르비와 의학계의 자랑 "동욱이" 인생 최고 아웃풋^^ 야 동 욱
-
불닥 묵닌다 2
-
그냥 수험생 외로움 해소용임
-
무척 음란한 모드잖아
-
중간에 밖에 나가서 핸드폰하는거 허락해주심 ㅎㅎ
-
얼버기 0
일어난지 10~15분덴듯
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..