가설 변경
게시글 주소: 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를 선물하세요.
-
이름에 웅이 들어가면 실패하진 않음
-
홍대 추합 0
홍대는 보통 1 2차때 많이 빠지나요 아니면 전화 추합때 많이 빠지나요 법대 1 2...
-
살다살다 저런 가게를 보네요...
-
메디컬 제외하고
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
문장을 하나씩 털어내 주려다가 해설 흐름이 망가진듯 0
필요한것만 문제 해설파트에서 뽑아서 해설하고지문은 각 문단의 주요 문장을 청킹해다가...
-
뭐야 저 끼워줘요
-
군대 다녀와서 수능을 다시 준비중인 노베n수생입니다. 제 수준은 ebsi 정유빈의...
-
지방수vs지사의 4
지방수 최초합해놓고 인서울수의대 추합 기다리고 있는데 지사의가 갑자기 합격하게...
-
엄
-
07 : 너 재수해라 ㅋㅋ 하고 놀리기 가능 06 : 착한사람이면 너 3수해라 ㅋㅋ...
-
왜클릭?
-
공항에서 시립대까지 한시간 내로 가는 방법은 없나요 제발요 지하철 몰라서 헤매는...
-
ㅅㅂ 간절한데 ㅋㅋㅋㅋ
-
현재 성균관대 화학공학과 24학번입니다. 방금 성대 전전에 3차추합이 되습니다....
-
경북대 합격생을 위한 노크선배 꿀팁 [경북대 25] [알바팁] 0
대학커뮤니티 노크에서 선발한 경북대 선배가 오르비에 있는 예비 경북대학생, 경북대...
-
심리가 궁금하구나 결핍 때문인가 심리학 논문에 이런거 없나
-
질문해주실분 7
아무거나 ㄱㄴ
-
쉽지않네
-
인뎁스 1회차의 그 어떤 문제보다도 완벽하고 어려운… 문제가 만들어졌네요.. 정답률 2프로 예상…
-
작년 피드백이라도사서 풀어봐야하나
-
뭔가 도움되는 글을 많이 쓰고싶어요
-
지금 붙을거갗은게 충남 경영이랑 이미붙은 영남 전기가있는데 여러분은...
-
웹툰도 물론 작화 좋지만 각색하면서 킥이 너무많이 빠졌다
-
자기 사진 올리면서 취미, 생활같은거 구체적으로 소개함....? 전적대에서는 이런거...
-
-
로이비 제품 샀는데 냄새 좋네
-
그럼 죽어야하는데
-
답 순서대로 1134
-
그래서 화1 0
수능 48점 이상 다들 도망갔나?
-
아 이제 알앗슴뇨 18
아하 아 그러네 화학에 남아있는 사람들이 사문런보다 잘하겠구나
-
국어 : 고2모 1~3진동 , 평가원 기출 푼 적 x 영어: 고2모 1~3진동,...
-
월~금 독재학원 다니고 토일은 알바 하려고 하는데 몇월쯤까지 병행하는게 괜찮을까요?...
-
문제 독해 + 풀이의 일관성 잡는 게 ㄹㅇ 굿이네요 어싸도 좋고 수업도 재밌고...
-
2단원부터 6단원까지 꼭 들어야하는데 지금와서 들어가긴 너무 늦었겠죠.. 진짜...
-
개념은 윤성훈 들을 건데, 사문 기출은 강의 안 봐도 된다는 분들이 많아서 고민이...
-
확통 생윤 열품타 담뇨단 화학 시작해야 할까요 ㅜㅡㅜ 29
현역입니다. 사실 화학은 이미 다 했고 모의고사 풀면 높2~낮1 가끔 운 좋으면...
-
-
관련해서 아시면 댓글 달아주시면 감사하겠습니다
-
여기 계엄마렵네 ㅅㅂ
-
경희대 학고반수 걸어둘걸 그랬나 싶기도 한데 뭐 공짜라서 경북대 다닐만...
-
2/19일 내가 텐트치고 살지 기숙사에서 살지 결정된다 1
서강대여 날 뽑아라 대구사니까 해줄만하잖아 담날 에타에 올라오는 날 보기 싫다면 날 뽑아라
-
흑흑 5
단톡방에서 약간 실수함 이해를 잘못해서 딴소리해버렷어요
-
있을리가 없잖아
-
특정안당함
-
충북대 의대, 의평원 '불인증 유예'에 "이의 신청 안해" 출처 : 뉴시스 |...
-
A로 하면 어떡하냐고 자기가 언제그랬냐고 왜 맘대러 A로 하냐하면 나는씨발어꺽해야함 하
-
미필 04입니다. 학교 다니다가 반수해서 인하 인공지능공학 합격 (지금 인하기계는...
-
-
+작수 노이즈랑 작6모 기술지문이랑 비교하면 어떨까요?
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..