가설 변경
게시글 주소: 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를 선물하세요.
-
이거 환상 가지지마셈 이걸 실현하는 사람은 대학내에서 10퍼센트도 안됨 동아리 연애...
-
닉변한 걔 맞음ㅇㅇ 라면 좀 익으면 처먹는대 ㅇㅇ
-
나도 후회 안함 5
그럼 된거임나름의 업적도 잇음
-
태어나서 처음으로 10km달렸을때 제일 행복했는데 18
내가 무언가를 해냈다는 성취감과 나도 할 수 있는 사람이란 걸 증명한거같아서...
-
난 후회 진짜 안 함 12
재수 때 좀 놀았던 거나 다른 건 다 후회안하는데 앞머리 숱 한 번 더 쳐달라한 건...
-
알바 시급 3000원 차이 나는 곳인데도 ㄹㅇ 할일이 없어서 못 견디겠음 지금 하는...
-
지역마다 맛있는음식들 다 먹고 다시 올래
-
레벨2 4점 정도인가요? 개념끝내고 이제 풀고있는데 무난하게 거의 다 풀리는 거...
-
굿나잇하세요 3
자러갑니다 안녕히주무세요
-
팔로우 해달라고 , 디엠으로 같이 맞팔하자고 빌면 어떨것같음?
-
동네아수쿠림할인점서6백원에파는데정말혜자로운거시다
-
한달에 100km도 못달리니까 진짜 너무힘들었음 나중엔 결국 러닝 안하게 되고 그게...
-
전 서바 시즌 시작 전 날 긴장해서 잠 못 잠.. 걍... 멘탈 영역 9등급임
-
포항공대생들이 서카포/연고 이런식으로 케이크 자르듯이 나눌 때 그리고 서성한...
-
상상이 안가는군 현역때 설경 붙었으면 안하긴 했을듯 한 40점 차이로 떨어짐 사실...
-
심심해서 공모나 몇개 낼까하고 만들었는데 개귀찮아져서 런. 오류는 없을 거라...
-
연애타로봐드립니다 18
타로공부중임 구체적으로 질문 달아주세요
-
야 코 걔 맞음ㅋㅋ 시청자좀 차면 시작한댕 tiktok.com/live/soeun
-
N수는 성공해도 별로임 24
성공하는 게 최고의 시나리오인데도 잃는 게 꽤 많음 후회한단 뜻은 아니고 그냥 그렇더라구요
-
아니 인간이 그걸 어떻게 하는거지
-
작수 기준 언미물1화1 93 98 2 60 90 인데 낮반 걸리겠죠.. 일단 관은 3관입니다
-
ㅇ.
-
교사가 1월 세후 900 ㅋㅋㅋㅋㅋ 구라도 적당히 쳐야지 9
직장인 기준 세후 900이면 세전 1250인데 교사는 공무원연금이든 사학연금이든...
-
지금 미미미누 n수의 신 나가려면 어떻게 해야하는걸까 8
수능만점 아니면 걍 못갈거같은데
-
술마셔도됨? 4
재수하는데
-
지금 N=2인데도 지겹고 힘든데 ㅋㅋㅋㅋ 저건 ㄹㅇ 어케하는거
-
다 봤으면 이제 가셈
-
영원히 내 인생을 저주하다가 죽을거 같음
-
첨에 봤을 땐 그저 그랬는데 착한 게 보이면 갑자기 예뻐보이고 눈길 감
-
근데 어지간하면 반수 안 하고 행복하게 사는게 좋아 13
세상에 행복한 일이 얼마나 많은데 고통 속에 몸을 집어넣어
-
당연한소리
-
연고 서성한 문과라는 가정하에
-
동생 일본갔는데 9
이색기언제오냐..
-
원과목 최상위권들 투과목런 ㅈㄴ쳤음 지금
-
부산 해운대 사는데.. 가까운 러셀이나 재종 가서 다같이 쳐보고싶은데 혹시 신청해서...
-
코와이데스네 0
토키노나가레가
-
9,10밖에 안쳐보긴 했는데 늘 30점대였음 자존감박살범인
-
ㅅㅂ 나도 알고싶지 않았음
-
내가 봐왔던 모의평가 학력평가 사설 모고 얘네가 진짜 무슨 의미가 있는건지 싶었음...
-
오빠 계란말이라니까 무슨 계엄이야
-
그냥 독서 좋아하시면 보시면 좋을수도 있고
-
1년차 교사는 9호봉이다. 20년차 교사는 29호봉이다. (1급 정교사 연수 후...
-
차피 허상에 가까움
-
대학간 사람 대상으로 반수 유무 조사하면….
-
공대 순위는 0
설높 설낮 카 연고높 포 연고낮 한양높 성높
-
슬퍼
-
묵묵히 재수 꾸준글
-
4수시!발 3
으악
-
마음에 드는거 추천해주면 4천덕씩
-
시발점으로 개념 뗐고 현재 쎈, 기생집2,3점 중인데 쎈은 B단계 60%맞는...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..