이건어떰
게시글 주소: https://i9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그림그려드립니다 14
그림 그려드립니다 크하하
-
저는 극우좌빨임 4
??
-
정시 연대 디스플레이융합공학과랑 약대 붙었는데 어디갈지 추천좀 해주세요 연대는 계약학과예요
-
투자해볼까 생각중인데 11
경험용으로 100?정도로 근데 그냥 주식하는게 낫겠지? 코인은 너무 도박성의 느낌이 강한듯
-
다이어트 정체기 5
비상비상 몸과 마음은 지쳐가는데 몸무게는 쉴 틈을 안 준다 딱 오키로만 더 빼자
-
사람들 많네 0
영화 탈주 안 봄?
-
아빠는 서울대 엄마는 이댄데 나는 건동홍 턱걸이라 우럿서..
-
오류 정지됨
-
학교-3년제 전문대학,기숙사 생활 원칙 위치-인천광역시 남동구 슬로건-인천으로의...
-
통대지 바베큐 1
해줘 기대중
-
채찍보다 좋음?
-
근데 요즘 아파트는 헬스장 목욕탕 탁구장 스크린골프장 이런거 다있음? 9
어디는 식당도 있던데 신식이면 다 있나 요즘
-
여캐투척 0
-
이새끼왜20만덕이넘어감
-
질문받겠습니다 20
안받습니다
-
저 여르비니까 얼른 몰려와주시고 앞으로도 많은 관심 부탁드립니다 라고 계속 어필하는...
-
시비 ㄴㄴ 7
시비걸면 확
-
만화책 추천좀 1
설기간동안 과외,알바 안뛰니 개박수상태네 쩝...
-
개인적으로 애쉬 그레이 엄청 예쁜 것 같아요… 뭔가 너무 튀지 않으면서 개성도...
-
재수합니다 vs ○○대 갑니다
-
한 번 보고싶긴 한데
-
열심히해서 마무리 잘하면 ㅈㄴ 멋있겠지?
-
글만 씀
-
이런건 누가정한거임? 14
제사지낼때는 잘때 거실에 불켜놓고 자야하는거래
-
새르비 하던가 10
놀아줄게
-
과탐 선택 가이드 17
1. 2과목과 화학은 하지않는다. 2. 지구과학을 반드시 선택한다. 3. 물리를...
-
여자친구 생김 7
사실 아님
-
새르비때
-
혼란스럽네 6
왜 한분은 연뱃달고 고대프사고 한분은 고뱃달고 연대프사에요?? 둘이 사귀나요 저랑도 할분???
-
하루종일 글을 쓰고 잇진 않잖아
-
몸무개 5
몸=무 개
-
이해해주셈뇨 2
동생이 펌하면 2~3일동안 머리안감는데 좋다고 오늘 감은거임뇨
-
떳다 내 야동 6
포르노 송ㄷㄷ
-
아는 동생이 원서 쓴 데가 그때 나온다는데... 혹시 아시는 분 있나요? 수도권인 거 같긴 해요
-
고3 현역인데 개정 전이랑 후 둘 중에 뭐 들을까
-
섹스하고 잇다 21
추위를 뚫고 딸기라떼를 사왔어
-
강대 의대관 0
강대 의대관 전액 장학으로 들어가면 무조건 제일 높은 반인가요? 강대 기숙 유명한...
-
외로우니까 3
나가야겟다;
-
아노네 17
와따시
-
저녁여캐투척 7
음역시귀엽군
-
앞으로 힘들면 여기다 배설 해야겠어 30분전까지 다 포기하고 싶었는데 힐링댐
-
맞팔 40명 구 13
똥테 싫어요~
-
요즘은 빌리 아일리시가 한 초록머리가 끌려요
-
3일만에 씻으니 깨운 10
-
외롭네..
-
프린트당 질문 0
스프링으로 제본할 때 표지 안할거면 표지제목 말고 뭐라고 입력해야하나요? 찾아봐도 안나옴요ㅠㅠ
-
아니 잠만요 님들아 11
잇올 옆 비상계단으로 남녀가 계속 왔다갔다하고 같이 들어오는게 쉬는시간마다 키스하는거였냐?
-
ㅇㅈㅎㅈㅅㅇ 2
지금 못 보긴 함
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.