이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
삼수까지 말아먹고 진지하게 수능엔 재능이 1도 없다는 것을 확인한 저는 3년여간...
-
애니노래는개많이들음 좋은게넘많으
-
하 지리 도망치길 잘했다..(?)
-
후회없는 선택이길 빕니다
-
누나와 언니 0
https://orbi.kr/00070817271/ 언니는 아마 형님에서 왔을...
-
벤다이어그램 0
으아악
-
웹툰 572화 정주행 13
드디어 끝
-
도움 많이되나여? 없으면안될정도인가여?? 고1입니다 ㅜㅜ 국어내신 독학으로는...
-
말많은사람이좋다 6
재잘재잘하면서 이야기거리 무한생성해주는 사람이 좋음..
-
단점으로는 가끔씩 살아있는 실감이 안날 때가 있음 감정이 너무 매말라서? 근데...
-
하품물범은 아직 헤엄치는중 해설지 이렇게 써보는거 도움 되겠죠?
-
표지 자료들을 보면 다 단색 배경으로 되어있어서 시중에서 판매하는 수특 표지랑...
-
04까지는 친구 가능일듯뇨
-
ㅇㄱㄹㅇ ㅂㅂㅂㄱ
-
저 내일부타 수요일까지 단축이라 두시에 끝납니다 수고하세요.
-
취해서 물 조차 못마시겠는데 누워있는거밖에 방법이 없나요 술선배님들 help
-
3/8 현강에서 월요일까지 스블 다 찍어야한다 발언. ㅇㅇ 축 배 를 들 어라
-
-
ㅡㅡ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.