이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
영어 ㅈ같다 3
영어만 잘하면 의대갈 것 같은데...하
-
써니같은여친기원 2
연고티비 써니임
-
예쁘다
-
의대는 걍 편입이든 뭐든 모집 받으면 무조건 원서비로 돈장사 가능한 영역 지금...
-
의대 목표로 공부 해왔는데.. 이슈가 많네요 아무리 망해도 변리사, 혹은 계약학과로...
-
하루에 2시간 자도 멀쩡한 N수하기에 축복받은 수준의 몸인데 4
지능은 N수하기에 최적이 아닌듯 ㅠㅠ
-
모든과목의 모든정보와 논리를 명제논리로 나타내고 수험자는 알아낸 명제를 태블릿에...
-
그냥 처놀아요 3
결국 그게 답으로 이어진다
-
국어 과외한 지 4달정도 됐는데 시작할 땐 5등급이였는데 오늘 3덮 풀어보니까...
-
배고플 때 먹으니까 진짜 오만가지 과일맛이 다느껴지고 양도 탄탄한거 진짜 개행복하네
-
또 나를 찾지 말고 살아가라
-
24수능 25수능 확통 시험지난이도가 어느정도였나요?? 시중문제집이나…아무렇게나...
-
저는 집 가는 버스 기다려요!
-
아직 풀지도 않았는디 메타가 죽음 3일이나 지났으니 그럴만도 한가
-
근데 n제 풀때 2
모든파트 전부 푸는것보다 약점만 모아서 푸는게 훨씬 효율적이지않음? 항상...
-
재능이 더 큰부분을 차지하는건 사실인데 이거가지고 "해봤자 재능있는 사람 못이기는데...
-
나에 대한 믿음 2
음. 불편한 공부를 해보자
-
평가원이 회수해간 시험지 교수들에게 보여주려나ㅋㅋ 이렇게 출제했을때 이렇게 애들이...
-
3월의 끝이 다가옵니다. 여전히 많은 분들께서 수능과 관련된 고민을 하고...
-
군대 관련 질문 5
1.만약에 공익으로 갈 수 있으면 공익으로 빼는 게 좋죠? 공익 21개월인가 한다고...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.