이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
덕코는 그대로 돌려드리겠습니다
-
레어 다털리네 0
-
오늘자 프로세카 0
-
다 뺏기네 0
으악
-
경북대 가격 보고 와야겠다
-
제 레어중에 도형 이제틀리지마 이거 7천덕인데 사주시면 만덕 보내드림 ㅋ.ㅋ
-
알고리즘이 군대 영상으로 도배됐는데 그 옆에 교도소 영상이 하나 딱 떠있네...
-
레어 풀매수! 0
-
우리은행 앞임
-
Bonzo햄 레어많잖아요
-
아니 10개 넘는 과 중에서 단 한 개 과가 제 성적으로 불합인데 어떻게 9개...
-
ㅈㄱㄴ
-
시대인재 합격 4
^-^ 2월에뜬다더니 조발해주네
-
많이 모아두세요
-
https://orbi.kr/00060508585/%ED%8B%80%EB%94%B1%...
-
ㅠ 덕코 거지임 ㅠㅠ
-
ㄱㄴㄱㄴ?
-
LaYu밉다.. 0
엔믹스말거 벅스버니 사가다오..
-
에잉 물렸다 0
이렇게된이상 소장각><
-
내일 많이 사주셈
-
강민철안듣고 김승리듣는 사람도 많음? 난 승리듣는데 강민철 안들어도 괜찮은건가
-
한주 아는 사람? 11
여자보다 더 여자 같고 아름다운 남성…
-
예비가 안나와서.. 궁금해요
-
만덕 페이백 0
ㅇㅇ..
-
시발…그냥 내 캬루룽 레어라도 돌려도
-
그지야 그지
-
미쿠가져가잉 6
왜안사징
-
공군 6
.
-
이거 평생 뺏고뺏눈거임?
-
그런건가
-
진심으로
-
슈능귝어는 3
강평 아님
-
으흐흐
-
히힣 2
레어예뿌당
-
덕코가 복사가 된다고
-
시작 끝 이정도면 선방함.. 근데 집나간 하츄핑이랑 따봉페페는 어디갔는지도 모르겠다
-
이건 끝까지 안고 가야할듯
-
ㄹㅇㅎㅇ 2
몇개남았지
-
뇌동매매 재밌다 ㅋㅋㅋㅋㅋ 책임없는 쾌락
-
ㅂㅅㅈㅌㅅ 들어와라
-
의치한 인증 5
ㅎㅎ
-
꼭 갖고있고 싶은게 딱 4개인데 흠....
-
고점에 물렸는데 4
안떨어지네..
-
강해린 다뺏김 2
ㅠㅠㅠㅜㅜㅜㅜ
-
걍 귀여워서.. ㅎ
-
. 5
.
-
ㅂㅇ 13
ㅇ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.