이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
20렙이 되면 축하해주겠지? ㅎㅎ
-
사람 심리상 내가 미래를 예측할 수 있을 거라는 확신 때문에 개별주 투자를 무적권 하게 됨 ㅋㅋㅋ
-
그게나야 두비둠바
-
난 동덕여대
-
암산테스트 3트 0
순서대로.. ㅈㄴ빡세네
-
그토록가고싶었던학교에 입학했으나 조부모님들은 모두 돌아가셔서 설날에 할 것이 없고...
-
나 ㅈ댐?
-
ㅇㅇ
-
요즘 들어 친할아버지랑 대화소재가 고갈된 느낌 ㅠ
-
잡담태그달면 0
뭐가좋아?
-
순발력?
-
오늘은 코딩하겟슴 진ㅈ자
-
매일 해야겠다 사칙연산 약해서 이거 하면 ㄹㅇ 도움될거같음…
-
학벌 맞춰보삼 8
-
작년까진 이런저런 무리에 다 같이 들어가서 노는 분위기였는데 과 특성성...
-
전 파란색이 익숙한데 검정색이더라고용 기받아가용 언니~
-
이게 한계다
-
14억 칼라로 연결된 쭝궈런 VS 린도린도린도 퀴어게이논바이너리페미니스트 빅테크...
-
경한하고싶다 3
경한이외에대학은사람들이모른다는거야……. 경희대 다녀요!!라고 하고싶다
-
영어 2~3정도 뜨는데 1이 목표라 기출이랑 단어 혼자 하다가 빈순삽 강의만 따로 듣는거 오떤가요?
-
이렇게 커리 섞으면 충돌 날까요?..
-
배설주의보떴네요.. 12
눈 많이와
-
나가튼범부는낄수가없다는거야
-
샤 공대 안정권인가요?
-
존잘남인증좀 2
제발
-
[이데일리 황병서 기자] 더불어민주당 의원이 국회의원 배지와 함께 태극기 문양의...
-
연휴에 아프면 답없는데 이거
-
하아아
-
오늘도 음악인으로서 ㅎㅎㅎ
-
아무리해도 50의 벽을 넘을 수 없음
-
디씨펌: 19 20 21 비문학만점자가 쓰는 비문학 기본 독해법 0
윗 짤은 그냥 아무거나 가져오진 않고 나름의 이유가 있어서 가져옴. 현재 수능...
-
암산테스트 1
계산느려서울었어
-
오늘은 바쁘네요 3
집 가자마자 짐 싸서 본가 내려가야해요 정신이 없는
-
암산테스트 1
본인 iq103인데 ㅁㅌㅊ?
-
암산테스트 1트 4
화2 도전 ㄱㄴ??
-
응..
-
암산테스트 ㅇㅈ 3
내가 미적92점나온이유가 있었네 오르비 고능아들보니 개지린다
-
위기를 기회로 0
냠냠
-
수작업 고퀄리티 농협대 면접자료 판매합니다 인성면접, 적성면접 두가지로 나뉘어져...
-
절대 계산이 느린것이 아님.
-
피오르 후기 5
60만원에 진학사 읊어주는거 끝 개인적으로 돈 아깝다고 생각함
-
ㅇㄱ ㅈㅉㅇㅇ?
-
암산테스트 포기 8
1트는 60
-
47점...
-
수능영어, 토익, 텝스, 토플 같은거 말고,, 그냥 영어를 잘하려면 어떻게 해야할까요?
-
죄송합니다. 8
안녕하세요. 인증글을 조아하는 쌔마넴입니다. 너무 심심해서 자숙 못해먹겠습니다....
-
암산테스트 1트 7
아쉽군
-
푸리나 사랑해 3
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.