가설 변경
게시글 주소: 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. 지역 기균을 쓴다 2. 붙는다
-
오늘 3차 나오고 6번받았네요... 다군인데 될까요... 작년 10명뽑는데....
-
연대 3차 추합 3
연세대 3차 언제쯤 뜰까용 우우 희망고문
-
중대 심리 4
노예비 점공 계산기 예비 22번 추정 1차 노예비 2차 8번 3차 4번 이거...
-
뭐지? 7
기프티콘 잔액 확인하려고 했는데 일단 찍어본다고 하시더니 바로 결제가 되어버림......
-
그렇게 말하고 싶어~
-
1. 정시세요 수시세요? 2. 선택과목 뭐했어요? 3.반수할거예요? 4.다른대학...
-
ㅈㄱㄴ
-
뭐지 언제했지 메인에 메디컬 급은 아니지만 반수 없이 만족하고 다닐듯해요 성불합니다
-
약대 정시 커트 4
안녕하세요 혹시 정시 약대 커트라인이 어느정도 되나요? 모종의 이유로 약대가...
-
전 동국대 자율전공(인문) 7칸, 홍익대 자율전공5~6칸이 다군에서 선택지가...
-
ㅈㄱㄴ
-
지들이 25학번 없애려고 해놓고도 양심이 없는거임?
-
본인 중학교때 이후로 여자랑 친구 맺어본적이 거의 없는데 2
내 폰에 있는 번호 중에 여자인 사람이 우리 엄마뿐임 나만 이러나
-
존예누나 만났는데 과잠 인설의대네
-
서울대입니다
-
중대 글금 점공 분석해주실분 있나요? 붙을수있을까요?? 붙는다묜 언제쯤...
-
맛있는 고등어 8
집에서 고등어반찬 먹을 때마다 여기 글 썼었는데 ㅋㅋㄱㅋ 1년 동안 까먹고 있다가...
-
서울대 vs 한의대 고민해결
-
아 나 ㅂㅅ인가 2
폰하다가 지하철 놓침 ㅡㅡ
-
성대 공학계열 0
점공상 657.23 까지 빠진거같은데 그 밑 상황 아시는분??
-
전두환 사진으로 광주FC 도발한 중국 관중들… 국내 팬들 ‘경악’ 2
아시아축구연맹(AFC) 챔피언스리그 경기에서 중국 관중들이 광주FC를 도발하려는...
-
생윤 사문 커리 9
이지영T로 개념만 딱 떼고 나머지 기출이나 사설은 개인적으로 하려 하는데 지영T 괜찮나요?
-
가난해서 메비우스 샀어....
-
한양 3차 4
한양대 3차 추합 서강대 3차 반영돼서 뜨는 건가요? 2차도 그렇고 3차도 그렇고...
-
26번까지는 수월하게 푸나요??
-
1지망 a대 2지망 b대 인사람이 a대가 붙었는데 b대에서 안빠짐 그럼 마음 바꾼건가요?
-
그 어떤 편지나 메세지보다 맑은고딕 ms워드로 작성된 편지가 가장 인상깊었음 집가서...
-
3차가 더 많이 도는건 불가능한건가요?..
-
뱃지신청 이거 1
메일로 온 거 그냥 답장으로 합격증 보내면 되나요?
-
가천대 합격생을 위한 노크선배 꿀팁 [가천대 25학번] [수강신청 시스템] 0
대학커뮤니티 노크에서 선발한 가천대 선배가 오르비에 있는 예비가천대학생들을 돕기...
-
ㅇㅇㅇ??
-
지금 수1은 개념끝냈고 수2도 거의다 끝나가는데 미적을 한번도 본적이없어서...
-
특히 문과는 비협문 어문, 사범 일부를 제외하면 컷 하락이 안난 과가 전무한...
-
그게 나야 바 둠바 두비두밥~ ^^
-
점공안한사람들이 0
이렇게많다고?? 아직도번호를못받네 걍마음놓아야겠다 헬스나가야지
-
으흐흐 하지만 빠집니더
-
2026 대학 입학을 위한, 수학 공통 모의고사입니다. 총 5회차로 구성되어...
-
간다저멀리씨발
-
경컴으로 오세요 1
호옥시나 경북컴에 오시면 바코드를 볼 수 있습니다
-
タイムマシンで타임머신으로未來の僕へほら訊いておくれよ미래의 나에게 물어봐주란...
-
방금 의대에서 추합 전화 왔는데 등록포기함시간을 되돌려도 똑같은 선택을 할...
-
컴소쓸걸 1
컴소 썼으면 붙었는데... 여기 펑크 예측한곳 있나요?
-
피시방 뛰엇 1
득템하러가자잇
-
3칸이었는데 예비 5번이네 붙어야한다
-
저 스테이씨의 GPT 같은 노래 좋아하는데 군대에서도 그런 노래 들을 기회 많은지 묻고싶습니다
-
잘 먹을게요
-
두구두구두구두구...
-
반원을 접어서 겹친 부분의 넓이를 S라고 할 때 S의 최댓값이 되는 세타의 값을...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..