가설 변경
게시글 주소: https://i.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를 선물하세요.
-
갠적으론 젤 잘 듣고 있는데 생각보다 깔쌈함요
-
군수 고민 0
안녕하세요 전역까지 4달 남았고(6월 말 전역) 인하대 공대 휴학중인 군인입니다....
-
피규어 피규어
-
도박하는법도 다까먹었네;; 그리고 담은수가 왤케 많아졌지..
-
노트북을 누가 삼성 쓰냐 이러던데 나만 그냥저냥 쓸만해보이나
-
이 사람 잘 알려져 있지 않음
-
예비몇번까지 돌거같아요? 제발..쓰신분 쪽지라도남겨주시면 감사하겠습니다 ㅠㅠ제발.....
-
25수능기준 평백 언매96미적98사탐97 영어1이면 치대 가능한가요?? 14
이러면 이번 정시에서 치대도 아슬아슬했는지 궁금합니다 아니면 지역인재전형 의대...
-
숭실대 공대 붙었는데 1학기에 500가까이 드는데 이 돈으로 차라리 학원 비용으로...
-
내년에 서울대가서도 써야하거덩 갤북5프로 16인치 인텔 5 32긱 512긱 프리도스...
-
근데 왜 자꾸 이딴 못생긴 레어만 걸리냐구우우웃
-
그럼 미쳤다고 이 내신에 정시를 가냐 멍청아
-
...
-
노인과바다 명언 명대사 인상깊은 책 구절 글귀 베스트셀러 0
노인과바다 명언 명대사 인상깊은 책 구절 글귀 베스트셀러노인과바다 안녕하세요,...
-
예금자보호때매?
-
숭실대 예비 0
숭실대 영어영문 어디까지 돌까요? 1차는 지금 12위까지 합격했다네요...
-
1n명 소수과 예비못받았다고쳤을때 추합1차이후 번호받았을때 앞에 이사람이사람 빠졌네...
-
붙었다는 소식을 들었는데...
-
레어 잘못 샀다 진짜 아 진짜 또 잘못 샀는데 하필 이딴거냐 ㅇ하 진짜로 진짜 하 6
왜 나한테만 이런 일이 생기는건데 왜 왜 왜 애ㅗ ㅐ왱 ㅗ애 왜 왜 왜
-
어그로 ㅈㅅ 예비 고3입니다. 국어 7개년 기출을 정말 꼼꼼하게 2회독 돌렸는데,,...
-
서강영문 붙었다~ 14
-
본가는 대전이고 통학 가능합니다. 인하대를 간다면 기숙사를 갈 생각입니다. 충남대를...
-
-
이글 진짜 존나 공감됨 10
여긴 걍 자사고 고능아 + 대학생 놀이터임 우리 같은 일반인들은 시간만 뺏길뿐이야...
-
설마 진짜 설마 3
설마
-
진짜로??
-
등짝스매싱 맞음 7
작은 손이 더 맵네 ㅠㅠㅠ
-
흠 그정돈가
-
시컨 시기 0
장재원 쌤미적 수강할까 생각중인데 시대 컨텐츠는 혹시 3월 1째주부터 바로...
-
직업잇고 과외하는 멋쟁인가요 그냥 수험생인가여
-
현타온다 4
추가모집 상담 벌써 80명짼데 중간중간 예의 없는 사람들이 들어와요 유료...
-
울산 명소 0
어딘가요? 울산 큰고래
-
똥글만 존나 쓰네 씨발
-
Boom 흥이는 어차피 팔꺼였음 파리비는 죽어도 지킴 이건 못 줘 내 파리비
-
미칠거같네
-
노래듣고싶은데
-
롤할꺼면 말하셈 4
ㅇㅇ
-
응원가 개좋네
-
ㅈㄱㄴ
-
자기가 빠졌는데 빠졌다고 안써서 내위에 빠진사람이 더있을수도 있는거임? 그러면...
-
주인 잃은 레어 1개의 경매가 곧 시작됩니다. 우주소녀"우리가 주인공인 소녀들"...
-
연전전ㅇㅈ 27
근데약대갈거임인스타용확보완료연대미안
-
밥책공부 이런거 빼고 취미나 여가생활.. 이런거
-
아 2
갑자기 슬퍼짐 울고싶네 아
-
탈퇴할때가 됏군 4
빠이
-
고3때 영어 0
모고에서 5 받아봤는데 사람 아님?
-
와 근데 진짜 존나 어이 없긴 하네요 ㅋㅋㅋㅋㅋ 그냥 7수 하죠. 이거 뭐 시발
-
1차추합으로 6명 나갔어요 저 붙을수 있겠죠..??
-
이정도면 인싸애닐줄 알았는데 헉
-
이제 남은 2만 덕으로 무조건 지킨다 진짜 무슨일이 있어도 내 덕코 다 쓸 때까지 막는다
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..