가설 변경
게시글 주소: 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
요리 유튜버 구독을 많이 하고 있어서 가끔 집에서 요리해서 여친과 같이 먹는 것도...
-
키크나요
-
보통 벡터의 크기나 벡터의 내적으로 원을 제시하는데 두 각도 사이의 관계로 제시한게...
-
정시 하지 마라 8
체질이란게 바뀐다
-
일단 나는 한창 배성민t 폼 좋으셨던 시절 현강생이다...
-
제가 증명해드림
-
제일 먼저 저격 먹은게 공부 질문글이네 어떻게 저 정병인데 어떡하나요 저 못생겼는데...
-
사회학과 지망하는 ㅈ반고 고2인데 생기부에서 보완할 점이나 고칠 점 조언해주시면...
-
캬
-
진급하면 선배가 되는 거잖아
-
답변자중에 허수가 상당히 많다는거임 특히 단정적인 답변(정시 절대 하지 마라)이런거...
-
시대 vod 2
1-8주차 통째로 사면 그 안에 꼭 봐야하는 기한이 있나요?
-
지금 기출 2회독 끝냈는데 이제 뭐풀까요
-
저 돼지인가요? 17
-
모두가 주목하고 있다.
-
입시=멘탈 4
가능할까요? 그걸 누가 알아 사람마다 지능 환경 공부상태 습관 다다른데 다만...
-
오르비에 문제 올라오면 풀어야됨
-
자꾸 나를 헷갈리게 행~
-
후응
-
설맞이 n제 2
높3낮2 정도면 풀어도 얻어갈 것 많나요?
-
노베학생 공부습관 갖춘 후 재종과 독재 질문 간절합니다 시간나시는분은 잠깐만 시간들여주세요 ㅜㅠ 5
안녕하세요 늦은나이로 재수시작한 노베이스학생입니다. 대학도 다녔었고 알바하면서...
-
작수 생윤 했다가 수눙장에서 개말아먹고 4떴는데 이걸 올해 더 한다해서...
-
그래 일주일 고생했으니..
-
키작고귀엽고하얗고슬랜더인 사람이랑 연애하고 싶다
-
첫 정답자 2000덕
-
헬스장 한번도 안가봤고요 키는 178이고 모솔 고3이에여 아 그리고 비갤 4티어 먹었어요!
-
빡세게해서 완강하려면 얼마나걸리나요?
-
특수상대성 >> 뮤온 >> 대기권 상층부 >> 제트기류 >> 여객기가 제트기류 타고...
-
아니면 2500원 받나요?
-
2등급이 1등급이 되는 매직 엔수생 침략 완화
-
무려 일요일에도 잇올에 갔답니다! 가서 웅플릭스 좀 봤다는 건 비밀..
-
저번에 삼겹 시켰을땐 남겼다가 다음날 먹은거같은데 오늘은 순삭했네.... 소화 좀...
-
근데 저런 질문글은 12
진짜 좆도 의미가 없긴 함... 뭐 어째달라고 그걸 내가 어떻게 아니 열심히 한다고...
-
올만에 4
피티쌤 뵈러 가야딩
-
솔직히 요즘 세기말 수능이라 뭐 꿀과목 이런게 있나 2
그냥 약폭과 핵폭이 있을뿐인거 같은데
-
수험생들의 심신안정을 위해 빨리 의대 정원이 안정적으로 자리잡혔으면 좋겠지만... 0
솔직히 지금 상황만 봤을땐 어찌될지 감을 잘 못 잡겠습니다ㅎㅎ 1. 현 정부:...
-
공부글은 이제 조금만 성나가도 저격먹네 다같이 똥글만 줄줄이 싸재는 실정에
-
6평때 사문 난이도 대비 등급컷같은거 좀 보고 스테이할까 생윤런 할까 생각중인데 너무 늦음??
-
심찬우쌤 커리 어케 타는지 정리 좀 도와주세요 ㅠㅠㅠㅜ 그리고 다른 커리들이랑 계속...
-
별의 별 장르가 다 잇음. 그래서 걍 셔플 돌려놓음
-
https://orbi.kr/00072474480/%E3%85%85%E3%85%85%...
-
독서는 다맞는 시험지라도 나오지 그 요동치는 독서실력 밑에 심연이 화작임 언매보다도...
-
서연고연고서성한과기원까지가 상위권임?
-
일단 일으킨 문제 해결부터 해줬으면 좋겠는데 너무 인색한건가
-
예? 2
-
너무 못생겨도 불쌍해서 이륙시켜주시나여
의미를 알려주세요..
개큰 웃음
비웃음이겠네요..