이건어떰
게시글 주소: https://9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
흠 8
-
내일 차례 때문에 7시에 일어나야해서 아까부터 눈감고 누웠는데 잠 안왐
-
아이고 14
글 한번 잘못썼다가..
-
옯 전신인증은 왜않함 15
펑
-
나를 아는 사람들은 11
그리고 내가 아는 사람들은 대부분 오르비를 떠낫구나
-
모쌩겨서 자러감 16
.
-
ㅇㅈ할 사진 따위는 존재하지 않아
-
신기록 또 갱신 5
마의 35의 벽을깨보겠어
-
맞팔하실분! 15
맞팔하실분 구합니다!
-
못봤대서 다시 12
ㅋ
-
이번주 금욜 호주가고 이주뒤에 베트남가는데……. 진짜 취소하고싶다
-
티카타카 마려운데 페드리나 파머 같은 애들 쓰고싶음 근데 또 너무 구리면 안됨 근데...
-
급함
-
ㅇㅈ 17
쪽팔려 30초 보여주고 지울래
-
이민에 대해서 6
오르비언들은 아마 사회생활 경력이 별로 없어서 경제감각이 떨어지지만,어려서 한국에서...
-
수능 수학을 ㅈ박아서 진학사도 안 사고 단순 백분위 합으로 인서울 하위권 대학...
-
님…
-
나이가 몇인데 수동적 고딩티 못벗음
-
혹시 비행기 타보셨던분들 있으시면 질문 하나만 할게요 8
국내선 비행기 탈 때 출발 몇분전까지 공항 도착해야 하나요? 참고로 광주에서 출발할 예정입니다.
-
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.