이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
난 그때보다 살이 꽤 붙어서 안맞음
-
이름/주소/오르비아이디및비밀번호 각 7만덕에 삽니다
-
헉 7
-
-
교복 스타킹.. 7
-
실험해볼게
-
언88확88영98생윤50사문47 등급예측도점부탁드립니다ㅠㅠ
-
국어(언매) 93 수학(미적) 77ㅋㅋㅋㅋㅋ 영어 1 물리1 46 화학1...
-
교복이 최고임 6
대학가니 옷 고르기 귀찮아
-
하
-
막걸리 먹을까 7
응응
-
분명 중학교때까지는 되게 밝았는데 갑자기 부모의 공부 압박 의대 고집이 시작되면서...
-
당근 같은데 올리면 되나
-
5년 후부턴 5
일본에 살고 있을 수 있을까
-
오늘 가족들이랑 드라이브 했는데 내꺼 폰 블루투스 연결해서 걸그룹 노래 듣다가 퀸...
-
카캬 임박해서 결제 + 황금연휴라 좀 비싸긴 함 피치 5/4 출발 5/5 도착 1박2일 43만원
-
돈 낭비;;
-
근데 솔직히 5
화1 일주일이면 복구 다 돼서 정상화 되면 다시 할 사람 있는 건 사실이잖아
-
왜 기피하나요?
-
그냥 난리났네 ㅋㅋㅋㅋㅋㅌㅋㅋㅋㅋㅋㅋㅋㅋ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.