이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
도대체 2 0
" 도대체 박준은 어째서 꼭 불을 밝혀 놓아야 잠이 들 수 있었을까요. 그리고...
-
으흐흐 1 0
으흐흐
-
저 많은 별을 다 세어 보아도 2 2
그대 맘은 헤아릴 수 없어요 그대의 부서진 마음 조각들이 차갑게 흩어져 있는 탓에
-
안녕하세요 0 0
-
드릴 말고 1 0
커넥션이랑 이해원이랑 드릴 풀 생각 이었는데 드릴 어려워서 다른 n제 푸는게...
-
민지 보는 게 인생의 낙이다 2 0
아 예쁘다
-
최근에 수학이 어려워졌나요 9 0
일단 미적 선택자입니다 23수능이 마지막이었고 26에 다시 돌아왔는데 너무...
-
기원매스 일요일 미적정규 듣고있는데 이거 짝수회차만 주는데 대체 홀수회차는 어딨는거임??
-
지금보니까 저사람 에피네 0 0
하
-
굿노트올렷는데 ㅈ될뻔 4 0
ㅈ됏나 본사람잇어요>?
-
하 요즘 수학이 너무 심란하다 4 0
요즘 1일 1 범모랑 지인선 돌리고 있는데 자꾸 개박아서 미칠것 같음 더프때도...
-
그럼 갓반고도 전사고나 과고나 이길 수 있고 그런건가
-
근데 내신이 수능스타일이면 4 0
학군지여도 등급컷이 높게 즙히는 편임 모두고르시오같은 유형이 안나온다는거니까...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.