이건어떰
게시글 주소: https://9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
-
쉽구만 ㅋㅋ
-
재밌어요... 현역(진)인데 말이죠
-
비행기랑 빙고ㅆㅅㅌㅊ
-
재종이라면 어딜 가야하고 기숙이면 어딜 가야하나요 추천 좀 해주세요 ㅜㅜ 정보가 하나도 없습니다
-
왜그런거임? 방금 머리털었더니 우수수 떨어짐
-
좁디좁은 시야로 예단하며 아는척을 하는걸 보면 재밌음 본인의 그릇으로 세상을 보되 깝치지는 말길
-
대학 생활 아는 게 아무 것도 없어서 일단 가야하는데 어따 문의함뇨....
-
이미지 써주세요 6
-
아아 왜 학원알바한다고 했지 다 때려치고 도망가고싶다
-
기습ㅇㅈ 6
짠
-
반갑습니다. 7
-
저한테 많이들 쓰시던데 귀엽다는 뜻인가
-
김동욱 6
자러갈게요
-
외모는 수학 성격은 국어 키는 영어 탐구는 지능
-
오르비 안숨기고하기 가능
-
연애하려고 연합동아리 들어가면 됨 거기 들어가서 연애할라고 이것저것 시도해보다 보면...
-
네.
-
내일 하루종일노는데 할게없음
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.