이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수능 수학을 ㅈ박아서 진학사도 안 사고 단순 백분위 합으로 인서울 하위권 대학...
-
수학 77점이 2는 뜰거라고 생각했는데
-
ㅇㅈ 10
펑
-
대학가면 화석취급임? 18
군인 04인데 대학가면 신입생이 07임ㅋㅋ 내가 이성적인 감정을 느끼면 좀 이상한놈인가
-
난 닝닝이조음 4
이쁘잖아~
-
이상한쿨찐병이 2
인간관계엔 없는데 다른거에 조금 있는듯 수능 보기전엔 ‘수능 망해봐야 뭐 그냥...
-
선착 15명.
-
수학개념 0
갑자기 궁금해서 쓰는데요 시발점이나 개념원리 같은걸로 개념 땔 때 어느정도 기간안에...
-
무물보 10
고대 수리논술로 감
-
뉴런하기전에 0
뉴런-한완기 생각중인데 지금 어삼쉬사 풀고잇어요 어삼쉬사 끝나고 대가리깨지면서...
-
헤이유 3
지금 뭐해?
-
체화가 잘 더 잘 되는 느낌임 주간지 때매 그런진 모르겠는데 든든함 뭔가 걍 3모...
-
어떻게하면 내 과외생을 조금이라도 더 잘 이해시킬수있을까 1
내 수업이 너무 어렵나 근데 공부는 어렵게 하는게 맞다고 생각하는데
-
25수능 끝나고 0
오늘 학교 안 가서 좋았다 생각했음
-
변표빔맞고 죽어버림
-
25수능 끝나고 3
별생각 없엇음
-
맞팔구 7
하고 자러가야지
-
뭔가 뭔가했음 학교도 적당히 먼곳이었는데
-
교실벗어나자 울음보 터짐 진짜 존나 오열하다시피 울었음
-
설사뀨는 보아라 11
펑
-
쿠팡 보내줘 0
돈 벌어야 해...
-
04가 사수 0
4… 음
-
컴공 일기271 2
https://school.programmers.co.kr/learn/courses/...
-
지금있는친구로도 좋은데 새 친구 사귀는 모험을 왜 해야하지?라는 생각도 들구 날...
-
............. 씨발서성한은갈수있을까? 중경외시? 난 어디까지...
-
이거 2016년인가에 들었으니까 10년째 듣는 곡이네 ㄷㄷ
-
다시 돌아옴 1
ㅎㅇㅎㅇ
-
새르비니까 한번씩 적어보시죠 아침에 지울겁니다 저는 중학교때가 좀 후회되네요 그때...
-
메가패스지만 댓글에 따라 기꺼이 신택스 할 의향 있음
-
못봤대서 다시 12
ㅋ
-
스타일만 5
여름에
-
검색창엔 안 나오네…
-
아까까지.계속 배아파서 못자다가 이제 자야겠네 빠잉
-
ㅇㅇ
-
잡시다
-
다이어트 1일차 0
시작합니다
-
살좀빼고 음 일단 자자 졸리네
-
오노추 0
비트가 맛깔나요
-
지금 말고 사람 많은 오후 때요
-
나만 혼자 외롭게 있다는 생각들면 숨이 잘 안 쉬어짐
-
난 ㄹㅇ 잠이 안오더라 ㅋㅋㅋㅋㅋㅋ 울진않았지만 뭐,,
-
30명은 돌겄죠?
-
10키로 찌면서 이목구비에 살찜뇨.. 이제 마름에서 그냥 보통 정도 된거같은ㄷㅔ...
-
ㅇㅇ…..
-
자식때문도 있지만 자기자신을 위해서도 큰것같음 나라상태는 둘째치고 19-30까진...
-
살면서 딱히 4
누구 닮았다는걸 못들어봄 들어보고 싶은대
-
재수 삼수실패해서 망하면 보통 다들 정시발표까지 뭐하시나요? 7
재수삼수실패햇는데 새벽까지 넷플릭스보는가 어케생각함?
-
오르비나 하고있네ㅋㅋ
-
ㅇㅈ 바겐세일 6
그냥 잘나온 사진들 다뿌림 히히
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.