이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
나도 시발 청정한 공기와 함께 집이나 독서실에서 수업을듣고싶다고
-
히히 프사 바꿈 2
귀엽다
-
같은 대학 1
원서 두장을 같은 대학 썼는데 A는 최초합 B는 추합권이거든요 그럼 최초합에 먼저...
-
국어 인강 들말 2
국어도 인강 들어야하나요? 들으면 좋을 것 같긴 한데 수학이 많이 급하고 사탐으로...
-
+ 취미는 과학
-
딸꾹질나와 1
왜그러지.. 딸꾹질멈추는법좀 멈추게해주는 사람 2천덕준다
-
개판이네 3
이게 나라...?
-
4시간 수업 있는데 조졌네 이거
-
커엽
-
쪽지 부탁드려요… 뭘 사야할지 모르겠네요
-
죄송합니다 3
수능 경제 3등급 따리가 큐브에서 07에게 경제 질문을 받았습니다 제 행동에...
-
왜케 멀쩡하지
-
생각보다 일년동안 븃기가 마니 빠진
-
25수능 백분위 81이고 공통보다 미적 개념에 구멍 많은 편인데 김범준 쌤 스블...
-
저의 재밌게 생긴 얼굴 이외에도 재미있는 기타 릴스가 릴스 그리드에 있답니다 듣고...
-
내가 개똥글 싸면서 ㅈ뺑이 치잖냐
-
너무둥듬
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.