이건어떰
게시글 주소: https://snu.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
근데그러다가 책이랑이불에 쏟으면...
-
나를 아는 사람들은 11
그리고 내가 아는 사람들은 대부분 오르비를 떠낫구나
-
이거뭐야…
-
작수 백분위 78로 3이긴 한데 그 이후로 손도 안 대서 감 많이 잃었습니다...
-
요즘 원신, 젠레스, 명조 이렇게 하는듯 붕괴는 초반에 하다가 때려쳤는데 명조처럼 다시 주워올지도
-
저도질문받거나해드려요 34
-
본인입으로 1등급 2등급 내신 받고싶다고 한 시점에서 일반적이지 않은 내용, 자칫...
-
-
혹시나 해서.
-
흠냐링뇨 0
아함 쩝
-
잘자티비 3
반말미안티비 좋은꿈꾸라구몬
-
그러니까 빨리 팔아달라고 킅런트야.... 연휴 끝나면 그.. 올려줄꺼지??
-
자꾸 결국 발생하지도 않은 일 갖다가 마음 졸이고 있는데 어쩌죠 8
예를 들어 제가 올해 4합8 간신히 맞췄는데 4합8 못 맞췄으면 어쩔 뻔했나 이런 식으로
-
중산고였는데 문이 철문이고 조명이 개음산함 종소리도 무섭고
-
이번 정시에서 사탐2로 약대 안정권 뜨신 분 성적이 어케 되시나요
-
-
고2 수1 내신도 결국 수능 난이도 안벗어나니까 그거 대비도 하고 어려운 경험 미리...
-
국어 인강만듣다 독학 첨으로 해보려는데..피램 독서 문학 둘다 좋나요? 0
제가 그냥 독서 문학 둘다 너무 취약해서.. 피램은 문학이 더 좋나요? 독서가 더 좋나요?
-
나만그런가 칠판강의보다 A4용지 손해설이 강의량도 적고 집중과 습득이 잘되더라
-
아이돌하나도 몰라서 다 구분이 안돼...
-
과탐이랑 언매 본다 했을때 최소 어디까진 받아야 쓸만하다고 할 수 있ㅇ나여 올...
-
해봄? 할짓이못됨ㄹㅇ
-
주량 기준 알려줘 13
얼굴 빨개지는거 알딸딸한거 속 뒤집어지는거 필름 끊기는거 기준이 뭐여
-
예산은 넉넉한데..
-
수능날 오열한 썰 아빠가 친척집에 다털어버렸다 개쪽팔리네~
-
으음
-
본인 딱 세병
-
근데 너무 힘들다 이제 잡니다 ㅎㅎ 밤동안 댓 달아주시면 또 구분해드릴게요
-
한문장 읽다가 졸고 한문장 읽다가 졸고 글자 다튕겨서 쉽게풀어설명해주는데도 하나도 이해안되고,,
-
이때가 명곡의 시대인데
-
연애하고싶다 3
애인사귀고싶어
-
나는 84일까 88일까 걱정했는데 결과적으로 86이었음 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ...
-
친구랑 채점 매고 넋이 나가버려서 자책을 엄청 했어요
-
남르비들만 ㅇㅈ하라고 쪽지 보내야 하니까
-
솔랭에서도 어떻게 비디디 해줘!! 일수가 있지..
-
수능 수학을 ㅈ박아서 진학사도 안 사고 단순 백분위 합으로 인서울 하위권 대학...
-
수학 77점이 2는 뜰거라고 생각했는데
-
ㅇㅈ 10
펑
-
대학가면 화석취급임? 18
군인 04인데 대학가면 신입생이 07임ㅋㅋ 내가 이성적인 감정을 느끼면 좀 이상한놈인가
-
난 닝닝이조음 4
이쁘잖아~
-
이상한쿨찐병이 2
인간관계엔 없는데 다른거에 조금 있는듯 수능 보기전엔 ‘수능 망해봐야 뭐 그냥...
-
선착 15명.
-
수학개념 0
갑자기 궁금해서 쓰는데요 시발점이나 개념원리 같은걸로 개념 땔 때 어느정도 기간안에...
-
무물보 10
고대 수리논술로 감
-
뉴런하기전에 0
뉴런-한완기 생각중인데 지금 어삼쉬사 풀고잇어요 어삼쉬사 끝나고 대가리깨지면서...
-
헤이유 3
지금 뭐해?
-
체화가 잘 더 잘 되는 느낌임 주간지 때매 그런진 모르겠는데 든든함 뭔가 걍 3모...
-
어떻게하면 내 과외생을 조금이라도 더 잘 이해시킬수있을까 1
내 수업이 너무 어렵나 근데 공부는 어렵게 하는게 맞다고 생각하는데
-
25수능 끝나고 0
오늘 학교 안 가서 좋았다 생각했음
-
변표빔맞고 죽어버림
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.