이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
https://xurl.es/4stnb
-
대학백과 여기에 2
답변 남겨보셨나요? 대학 다녀보신 분들
-
오히려 커뮤가 높게 쳐주는듯 ㅋㅋ 커뮤 3수 중경외시면 그래도 괜찮다고 봐요<...
-
배가너무아프긔 집까지 15분인데 그냥텐레포트하고싶다
-
면허땄다 12
만세
-
( 정부의 비과학적 졸속 의대증원 2000명증원이 증발시킨 건보 재정 2.9조원 ) 3
보건복지부 장관 조규홍 보건복지부 차관 박민수 교육부 장관 이주호 ... 등에게...
-
특정당할 일은 절대 있을 수 없음.
-
저메추 부탁함뇨잇.
-
외대ㅜ경제 0
빵 기원.. 쩝 표본상으로는 나름 빠질 인원 많아보였는데
-
가형은 무섭다 8
18 가형 1점차인데 백분위가 ㄷㄷ...
-
작수 강준호 커리타고 19,20 못 풀고 45점 나왔습니다. 이번에 김준...
-
피방오르비중인데 5
뒤에서 자꾸 힐끗대네 특정완료인가..
-
시립대랑 외대 경영 둘 다 붙을거같은데 어디 가는게 나을까요 아버지 회사에서...
-
탈릅해야겟다 3
왜 급할때 글 쓰면 맨날 답변 안 달림? 나 서운해...
-
노예비떨 ㅋㅋㅋㅋㅋㅋㅋ ㅜㅜㅜㅜ
-
끌끌..
-
뉴카멘 지리네이
-
뭔가 있어보이게 포장하기 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
-
케바케라곤하지만 난 항상 운이 없기에 개쓰레기자대로 갈거같음 새삼 뭔가 이리저리...
-
디시 빡갤도 나 하는데 거기선 익명인데다 지나치게 자유로운 곳이라 아무 뻘글이나...
-
이마에 이슬이 간절히
-
예비법조인분들 파이팅
-
왜 그렇게까지 하는거야 도대체
-
좀 많이 추상적이긴한데 자생한방병원은 들어가기 어려운가요 라는 질문은 대입에 빗대면...
-
화장실 문이 찢어져 있고 전자담배 냄새가 폴폴나며 학폭으로 경찰이 찾아오고 토토쟁이...
-
만점 통역은 아니지만 오랜만에 거의 두달만에 했고 내용도 많아서 빡셌지만 그래도...
-
올해 가는 걸로 만족해야할 듯
-
여팬 많은거 이해됨 ㄹㅇ
-
다 똑같이 생긴 캐릭터인데 유저는 다 다르던데 본인들끼리는 뭔 캐릭인지 구분이...
-
노래추천 21
해주세요 jpop이면 더좋고
-
ㅈㄱㄴ
-
중앙대야 3
탑블레이드 마냥 추합한 번 제대로 돌아줘라
-
모범생 훈남이라고 빨아주는 남자애들 요즘 스타일 아니라고 존못이라고 개빻았다는 남자애들 둘다 많았음
-
ㅈㄱㄴ
-
지금은 메가스터디 회장이신 손주은 회장님의 강의를 들었으면 지팡이 집고 다녀야 할 나이이긴 하죠. 8
'예, 그 사람이 바로 접니다' 3년 전에 공부왕찐천재 홍진경 채널에 손 회장님...
-
아 닉변 망했다 11
엄
-
금테였잔아...
-
그렇다
-
정시차별 멈춰!!!!
-
언매는 개념강의 빨리 듣고 기출 많이 분석해보면 되나요??? 4
국어는 참 힘드네요 어떤가요???
-
시발점 본책 스텝1에서도 틀리면 개념이 안 잡힌건가요 1
수1 처음 나가는 노베 5등급입니다 ㅠㅠ 50일 수학 돌리고 시발점 하는 중인데...
-
헤헤 4
-
학교에 대학 입시 책자 오면 하나하나 읽어 본 다음 스티커 찾기 서강대라던가...
-
인서울 대학 0
인서울 주요 대학은 표점으로 반영 하나요? 그럼 표점 높은게 짱인건가요? (탐구...
-
예비고1 때 아주 뼈저리게 느낌뇨
-
수학 과외, 누가 더 구하기 수월하나요?
-
뭐하는데고
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.