이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이해원은 아는데 다른거 더있으면 추천부탁 해설지로만 자습가능할정도고 아예 이런사고를...
-
아니아니 괜찮아 2 1
이 노래 아는 사람
-
내공부에 더 집중할수있달까 학원은 5시간 연속 앞에서 강의하시면서 머리속에...
-
이거 교육청 개념 오류 아닌가요..? 12 0
ㄷ선지가 틀렸다는데 당연히 롤스에 합치하는 의견 아닌가요?? 애초에 최소 수혜자를...
-
여기에댓글달면올해있는일모두 2 0
올해있는일됨
-
내가 알던 화1 개념이랑 계속 충돌해서 놔정지옴:; 딴건 다 할만한거같은디
-
관마다 특색 개잘살림 ㅅㅂ 오우석은 천재야
-
기출에서 본 기억이 없는 거 같은디
-
질문해주새요!!!!!!! 7 0
심심함 ㄹㅇ
-
ㅋㅋ 낼 9시까지 출근 4 1
이콜라이 네 이놈
-
10분만 기다려줄 수 있겠니?
-
일단 난 닝닝 안경짤이 존예라 에스파입덕한 전적이있음
-
이채연눈나너무예뻐요 엉엉 7 0
볼때마다 눈호감해뇨
-
저녁은 대충 먹고 들어가야겠다 0 0
-
정식세트는돈가스정식세트가있고돈가스우동정식세트랑돈가스모밀정식세트가있답니다사실저는돈가스그렇게좋아하지않아요 2 1
돈가스보단 제육이죠
-
오리비도사람이야 사람
-
오렌지마멀레이드 2 0
아는사람
-
수학 과외 질문 7 0
6모 기준 15,20(마지막꺼 잘못구함),21,22틀렸는데 지금 시점에서 과외받는거 괜찮을까요?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.