가설 변경
게시글 주소: 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를 선물하세요.
-
난이도 어디가 더 적합한가요
-
진짜 쪽팔려서 뒤지고 싶었음...
-
이게 내가 살 수 있는 젤 싼거인거같음 16인치인 동시에 윈도우 미포함이여서 그나마...
-
-
물리학2-상당한 타임어택-매우 높은 상위권 표본 수준-빈약한 교과서-많은...
-
수능 사인법칙 코사인법칙 문제는 앵간하면 특수각 끼게 만들던데 왜 그럴까요
-
어디가 나을까요? 님들이라면 어디 가실 건가요?
-
과대표하면 2
장학금주나!!?? 아니면 학생회 하면 주나?? 장점,단점있으면 알려줘요
-
크크크ㅡ 2
크크크크크ㅡㅡ
-
분석해보면 1. 수능은 하루에 결정되고, 내신은 3년 동안 약 12번의 시험을 봄....
-
분석?이나 연계대비는 승리쌤 커리 나올때 다시 보면 되는거고 지금은 풀고...
-
고경가면 행복한 대학생활 할 수 있잖아
-
강의에서는 a=루트3이 나와야하는데 어느 부분에서 잘못되었는지 30분째 고민중입니다...
-
완벽한 생패
-
ㅈㄱㄴ
-
어차피 아무도 안들을거같아서 안한다 에효
-
가격이 꽤 오른거같은... 전과목 다 풀긴하시죠???
-
어디감?
-
스피또 1000원긁었더니 1000원당첨 ㅋㅋ
-
많은 옯붕이들을 메타인지 시켜줄 그런 빙고
-
안녕하세요! 저는 전남대학교 의과대학을 졸업하였으며, 의사 면허증을 가지고 있는...
-
아니 진짜로 굵직한 사건이 몇개 터져서 그렇지 존나평화롭다니까요평소에 진짜임
-
아 내돈 0
200만원 날렸네
-
인생상담같은거 해주실분.. ㅠㅠ
-
기억이 가물가물하네.....
-
위대한개츠비 책 명언 명대사 모음 인상깊은 구절 글귀 0
위대한개츠비 책 명언 명대사 모음 인상깊은 구절 글귀위대한개츠비미국 문학의 불멸의...
-
머리가 멍 할때 0
공부할 때 요즘 머리가 너무 멍 해요 밤 샌것같은 느낌이에요 해결책 아시는 분…
-
첫 정답자 2000덕 드리겠습니다!
-
추합 새터 2
POV 3지망 학교에 최초합, 신청 이번 주, 다음 주 새터 2지망 학교에서 3지망...
-
나도 한다...
-
옯창 판별법 32
1. 습관적 오르비 접속 2. 입시 끝났는데 탈릅 안 함 3. 누적 투데이 다섯자리...
-
지금까지 배운파트 한번에 이해하고 4점 클리어했는데 조건부확률 좀 힘드네
-
https://n.news.naver.com/article/655/0000023536 ㅋㅋㅋ
-
세종대 전화추합 0
세종대 전화추합으로도 많이빠지나요?
-
수학풀때마다 모르는겠는문제가 가끔 있는데 과외까진 안받고싶고 그냥 있을때마다 하나씩...
-
키히히히힛 오예이
-
다른 분야에서 숨고하는데 견적비가 걍 개시1발이라 궁금해짐
-
팔로워는 둘이나 줄은거냐 크아아아아아악
-
둘다붙을것같은데 어디가좋음
-
화1 등급컷과 표점 폭락 원인 분석(단순 표본때문x) 4
현재 저는 화2를 하고 있지만, 화1의 현 상황이 왜 이렇게까지 됐는지에 대해...
-
그게 그나마 쉽습니다 물론 잘 아시겠지만요. 형법은 판례를 좀 보셔야합니다. 시험에...
-
살아돌아오자는 마인드임
-
담내 너무심해서 집들어갈때 눈치보임
-
롤체팟구합 2
ㄱㄱ
-
모르는 사람이랑 있는게 스트레스라 그냥 오티만 갈까 하는데
-
본캐를 어서 정하게 해다오
-
금연 생각보다 쉽긴함 12
대신 활동적인 걸 할 수 없음 누워서 두 달 지내다보면 자연스레 금연되더라
-
건국대학교 최초합격 후 중앙대학교 추가 합격을 2월 14일 금요일에 받은...
-
입시성공하면 이친구 비중이 꽤 클거에요 시대 부엉이라 시붱이에요
-
대인라 들어볼까 0
머성 캐시로도 수강신청이 된다는데 거 한번 들어볼까 안그래도 션티에서 이명학으로...
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..