이건어떰
게시글 주소: https://ui.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
오르비에 쭉쭉단 많은줄 알았네요
-
현생보다 0
오르비가 더 재밋음 인생 잘못 산듯함
-
신촌이구요 주말마다 응 예..
-
5대5라는 게 사실인가...
-
이상하게 옷은 사도사도 부족한 거 같습니다 자주 입는 기본템이면 같은 옷 두 벌...
-
덕코내놔요 8
네
-
뭐지
-
진심;
-
얼버기 5
ㅇ
-
세뱃돈 주세요 3
네
-
여기는 11
남녀성비 5대5정도 되나
-
3월부터 하야지
-
고지자기극 유형에서 한번 틀렸던 문제를 나중에 답 까먹고 다시 풀면 잘 푸는데 처음...
-
대학커뮤니티 노크에서 선발한 서강대 선배가 오르비에 있는 예비 서강대생, 서대...
-
하....ㅅㅂ 7
종이 빨대 만든 새끼 나와
-
-
평가원 추천 점 18
수2 과한거 말거
-
롤을접어야하나 4
이젠살인충동이드네
-
돈 벌고싶다 4
원화채굴 하고싶어
-
-
하아 항상 바쁠때만 들어와서 뻘글배설함
-
삼도류 써야지 4
양손에 2개에다가 나머지 하나
-
덕코 모으려면 4
뻘글 양산하면 되나요?
-
아이시아우~ 2
후따아리
-
실패를 하고싶어도 할 수 가없어 누가 날 좀 이겨줘
-
수요가 있을까요~¿ 좋아요는 70개넘게 받았었는데 다지워서 올리려면 다시...
-
올해 건수 폭인가요? 빵인가요? 건국 수의대 713.3 합격가능성 어느정도인가요?
-
-
아마 대부분은 못받을거긴 한데
-
오르비 게이 커뮤임? 11
삼각김밥을 왜 두 손으로 먹음
-
흐웨이 어플라이
-
로로체스 고수잇나요 18
저지능 체붕이 다이아 가고싶음.. 꿀팁 전수좀...
-
용돈보내주세요~ 0
ㄱㄱ
-
.
-
딸기 사주셈 3
안 먹긴함
-
홍익대학교 새내기 where~~~??? 돈까스 맛집 1탄-공강 1시간 위주 [홍대25] 1
홍익대학교 새내기 where~~~??? 돈까스 맛집 1탄-공강 1시간 위주...
-
뭐먹지
-
️ 연세대학교 중앙새내기맞이단에서 25학번 아기독수리들을 환영합니다 ⭐️ 0
️ 연세대학교 25학번 아기독수리들 주목 ⭐️ 안녕하세요! 연세대학교...
-
!!!!!!!!!!!
-
노력으로 1등급 가능하다길래…
-
-
근데 369게임을 하게 된거죠 근데 아니 한명이 엄청 못하는거야 아니 9는 괜찮은데...
-
아무리해도 안나와,, 60대가 평균이라는 사람들은 뭐야,,
-
어쩌면 오르비 똥글로 과외 구하는게 더 빠른거 아닐까 2
저 24수능 25수능 백분위 100이고 시급 2인데 저한테 국어 배우실분
-
바꿀 생각 없음 ㅇㅁㅇ
-
맛동산 포스틱 프링글스 꿀꽈배기 오땅 빈츠 웨하스 새우깡 매새 트새 감자깡 도도한나쵸
-
레테크 하지마세요레테크 하지마세요레테크 하지마세요레테크 하지마세요레테크...
-
댓글 달아줘 12
ㅇ
-
심화강의나 교재 유명한거 뭐있을까요 수학에서는 한완수 뉴런 이런것처럼 지구과학에서는?
-
옯이가 진짜 유익하긴 한듯 ㅇㅇ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.