이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데 본인 진짜로 설대 만약 가면 24 0
특정 되는 거 필연 아님? 너무 많이 깠는데 ㅋㅋㅋ
-
너무나 변태적인 문항. 26수능 세계사 18번 (트리폴리) 38 25
(오답률 58% 정답 1번) 필자는 이 문항을 맞았지만 이 문항이 교과 내 정당한...
-
ㅈㄱㄴ
-
탈모약 받으러 가볼까 9 1
-
6년만 다니고 미용하면 만 25세 언저리에 연봉 3억부터 시작 20수를 해서라도 의대에 가라
-
수학 높1 목표인데 6 0
공통은 4월부터, 미적은 6월부터 엔제 양치기 하면 ㄱㅊ나요? 교사경 기출까지...
-
11542서울대 6 0
롤키셈
-
과에 07 선배 6 0
은근히 있는 듯
-
후덕죽이 뭔지 몰라서 검색해봤는데 사람이름이군 난 뭐 후라이드 덕분에 죽은 이런 뜻인줄
-
ㅘ 피부에서 광이 나 6 1
얼마나 안 씻엇으면 개기름이 이만큼 나오냐 찌짐 부쳐도 되겟네...
-
시대인재 문항 공모 이거 맞나요? (시대인재 문항 공모를 고발합니다.) 53 94
시대인재에 수학 문항 공모를 하였습니다. 통지 받은 바로는 두 문항이 모두 채택이...
-
발표 개쫄렸다 2 1
의예과 형님들 갸많은데서 신입생인 내가 발표라니
-
'징역 3년' 구제역, 대법원 판결 불복…'재판소원' 청구 예고 11 8
[파이낸셜뉴스] 유명 크리에이터 쯔양(본명 박정원)에게 돈을 뜯어낸 혐의로 구속기소...
-
3월학평 대비 최고의 선택 3 2
그것은 바로 에고이스트 모의평가 1회...
-
나는금공강이라본가와서놀고있는데 4 0
너네는여기서뭐하는거냐?
-
기출을 새로운 문제에 적용하면서 실력이 늘어나나요? 2 1
문학 평가원 중심으로 공부 중인데 수업에서 강사가 말하는 걸 주간지나 교육청 문제...
-
사탐 세사사문 어떰? 4 1
세사문이나 쌍사 아니면 세생 생각중
-
낮르비 ㅈ됐네 2 1
아무도없어?
-
아니 0 0
집 보내달라니깐? ㅋㅋㅋㅋ
-
얘 피코아님? 3 1
오 왜 뜨냐
-
수인분당선 짜증나는점 9 0
빨리 안와 !!!!!
-
반수생 뉴런 1 0
반수생입니다 작수 확통 84점 2등급이고 (20, 21, 28, 30틀)작년에는...
-
원래 유저들끼리 싸운거 메인가면 칼같이 내리는데 미카리 저격글은 절대 안내림 ㅋㅋㅋㅋㅋ
-
지금 보니깐 ebook으로만 사용가능해서 있으신 분 계시면 쪽지 한 번만 부탁드립니다 ㅠㅠ
-
오늘 급식뭐임? 특식임? 급함 5 0
임연수눈나가 구운 생선이면 매점감
-
도믿은 어디서 당하는거에요?? 13 1
진짜 도를 아십니까? 이러나요..
-
시험이 어려워도 꼭 모든 문제 마킹하는 습관들입시다. 0 1
곧 이제 전 수험생들의 빅 이벤트인 '3월 교육청 모의고사'가 눈앞에 다가오는데,...
-
홍익대 건축학과(5년제) 1 0
들어가려면 등급 몇 받아야 하나요 1~2등급은 받아야하나여?
-
당신에게 닿는 봄 0 1
겨우내 얼어붙었던 시간의 모서리에 가만히 입맞춤하며 내려앉는 봄볕처럼, 나의 좁고...
-
브레턴우즈 보기 풀이 질문… 2 0
환율 증감 관계 ㅈㄴ헷갈리고, 보기에 금리인상 소득세감면 군비 증대가 뭐랑...
-
꽃이 피어서 봄이 오는 것이 아니라 당신이 내게로 걸어와 비로소 봄입니다 2 1
어김없이 나를 살게 하는, 나의 눈부신 계절이여
-
한국 의대 정시 수시 급으로 차이 나냐 아니면 한국이 비정상이냐
-
갑자기 궁금해짐. 예측 가능?
-
https://m.blog.naver.com/moeblog/224214838812...
-
금요일에학교처음와봅
-
오래 가는 3색 볼펜 없나요 2 0
쥬스업 검은색 좋아서 3색도 썼는데 일주일만에 닳아서.. 리필심 쌓아두고 교체하는 것도 일이라
-
살이 패임 ㅅㅂ ㅋㅋㅋㅋㅋㅋ
-
기상 2 0
지금 일어남 ㅋㅋㅋㅋㅋ
-
e^x-1=x 방정식과 sinx=x는 솔직히 별차이없는거 같음 7 0
근데 전자는 진짜 평가원이 풀라고 낼일이 없을거 같음
-
재수생 커리 8 0
국어 작수 6 나왔는데 독재 다니고있는데 쌤이 ebs를 계속 보라고만 하시는데 이게...
-
있으면 추천좀 해주세용
-
ㅋㅋㅋㅋ ㅈ반고 수업 개판됨 2 0
이상한 코딩 수업 하는데 그래픽 드라이버 버그가 발생했는데 쌤이 어떻게 고칠지...
-
비독교 무료나눔 책 도착 0 1
책 예쁘고 좋네요. 감사합니다~ 어느정도 풀고 나서 리뷰 올려볼게요~
-
다리에 멍이 잘 생김 4 1
왜지???
-
아이폰 앱르비 다크모드 기능 생김 11 19
ㄷㅅㄷ
-
예아 1 0
아침밥
-
13일의 금요일이구나 4 0
위험하니까 자체휴강 후 집에 틀어박혀있어야지
-
뭐야 부산대 과1사1 풀렷네 0 0
이러면 과학 2개 하다가 하나 망하면 생윤해야겠다
-
제발 대답 좀 ㅠ 해주세요 1 0
신성규 샘 공통 신기해 듣는 중인디 김범준 허들링 공통 대기 연락와서 등록할지...
-
언냐들아 7 0
늦은나이에 대학가도 괜찮음?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.