이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아니 왜 생Ⅰ같은 이상한 과목을 고르는지 아직도 이해가 안 되네 5
머리 깨지도록 유전자 계산 하고 우성 열성 따지고 있을 때 그냥 열역학하고 기체...
-
카이스트 말구여
-
이미 아니라 마법사는 안돼겠다만
-
비문학은어떻게 기출분석하다보면 글 구조도 더 잘보이는것같고 조금 감도오면서 재밌는데...
-
진짜 이게 인간세상 날씬가.... 찜기에 넣고 쪄지는 게들이 이런 기분일까
-
술마실때 팁좀 21
마시는거 별로안좋아해요 저번에종이컵으로 5잔소주마셨다가 훅 가서... 담날 죽는줄...
-
저도 여르비임 9
수학하고 지학 좋아하는 20살 여르비에요!! ㅎㅎ
-
자취방 고르는 꿀팁 53
"닥치고 에어컨 있는 곳을 골...라...." - 월 8수특 아끼려다 쪄죽어가는 수험생의 유언
-
폰이 떨어지니까 화면이 단색만 반짝 반짝 거리고 제대로 나오 질 않네요.근데...
-
하...고2입니다. 진짜 수행평가때문에 미쳐버릴거같아요 이상하게도 조별 수행평가가...
-
거실 토픽 개극혐 11
마 술집 써어비쓰업 알바를 하모는 마 졸업을 하고 취직이 안대니까 지가 마 술집을...
-
폰이랑 컴만하는 것도 지친다 ㅋㄷㅋㅋㅊㅋㅋㄷㅋㅋ 진짜 정신 분열증 올꺼같음...
-
경희대예비 3
그냥불합격뜨고 예비번호표시없으면 이제끝인건가요? 이대로라면 19번째 지원해주셔서 감사합니다인데
-
84 96 72 47 48국 수 영 경제 한국사갈데가있나요
-
진짜 한국 입시 어떻게 준비해야하는지 모르겠는데 아무도 답글을 안달아줌 ㅜㅜㅜㅜ...
-
안녕하세요 22살 삼수생 남자입니다 ㅠ 어렸을 때 미국으로 이민가서 쭉 살다가...
-
중딩샛끼들 63
숨쉬는것조차 산만하다핫식스를 목구멍에 쳐 드리부어뿔라
-
이런 팀플 같으니라고 하하하흐하하하하하핳
-
염라대왕이랑 통성명 하고 왔습니다
-
사학과가 목표인데 어디까지 가능할까요??ㅠㅠ
-
이제 3일뒤 입대네요 20
군대, 남일인줄로만 알았는데. 실감이 안나네요. 3일뒤. 3일뒤라.. 오늘은,...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.