이건어떰
게시글 주소: https://i9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
가입할때 생년월일 2023년 1월1일로 했었는데 다르면 안줌...?
-
히히 나도 경뱃 0
달렸나
-
와 뭐지 1
프로필 오른쪽 밑에 영롱한 크림슨색 K가 생겼어요!!
-
두 개 다 노예 0
비네 씨발...
-
경치 빵인가 10
진학사 4칸이었는데 최초합이 됐네요ㅎㅎㅎ
-
탐구추천글에 경제추천하러 들어가보면 이미 누가 추천해놨음
-
인상이 안 좋아서 고쳐보긴 해야 될 것 같은데,
-
점공 6등이었는데 5번이네
-
고려대 최초합! 5
문과에서 이과로 돌려서 메디컬 n수 계속 박다가... 이젠 손 털고 떠납니다 ㅎ...
-
경희 3
완
-
생윤->경제 5
지금 생윤 사문 하는데 생윤 외울게 진짜 너무 많다.... 솔직히 강의 듣고 몇번...
-
ㅇㅇ..
-
예비도 없으면 5
그냥 탈락임?
-
어느샌가 0
파란테 달렸네
-
홍익대학교 새내기 where~~~??? [홍대25] 1
대학커뮤니티 노크에서 선발한 홍익대 선배가 오르비에 있는 예비 홍익대생, 홍익대...
-
내 유일한 희망이다. 사실유일(??)까지는 아닌데
-
29명 뽑는 과 인데 안전하겠죠? 셈퍼님 계산기로 1.8번 나오던데 정확하네요...
-
속히 조발할것.
-
서울대 스마트시스템과학과 산림과학부 응용생물화학부 >>이 3개 학과 진학사 예상...
-
기분 엄청 이상해요...
-
근데 설대 지균 2
그냥 진학어플라이로 원서 쓰고 고등학교 쌤이 인증해주면 뭐 추가로 서류 제출하거나 할 거 없죠?
-
누굽니까아아
-
??
-
6개 동시에 절대불가능? ㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜ
-
작년 문제 일부 재탕 + 신규 문제 일부로 구성되나요? 아니면 100% 신규문제만으로 나오나요?
-
동국 0
뭐 안함 얘넨? 암것도안하노
-
2월 7일 발표 이러고 있네 안가 ㅅㅂ롬들아
-
김젬마 t 봄봄 좋나요??? 김동욱 t 듣고 있는데 태도적인 거 말고는 연필통으로...
-
퉤
-
92 92 2 96 96정도면 고경 합격권이네요..
-
연대 새내기 게시판에서 내가 아는분들 닉네임을 볼줄은 몰랐지.. 전 안유명해서 다행...
-
깜짝이야 씨발
-
급 궁금 24년 하반기에 곧 결과 나올거라는 말을 들었는데..
-
고려 0
기균 농어촌 이런 특별 전형은 조기발표 가능성 아예 없나요
-
나라에서 반영비율 하나 정해서 점수 높은 애부터 한 명씩 학교학과 골라서 대학보내면...
-
입학처를 찾을 수가 없네
-
외대 추합 1
14명 뽑는과에 예비 10번인데 힘들까요? 과는 서울에 있고 핵심 서양어중에 하나입니다
-
시험볼때 틀려도 괜찮은 문제임? 물론 공부할때는 뜯어봐야겠지만 역대 수능 보기문제들...
-
설날에 빈손으로 가야하다니ㅠㅠ
-
저 배지 보이나요? 13
테스트 테스트
-
이제 8주는 지났는데 대체 언제 완료 되는거임?...ㅠㅠ
-
화공인데 이런 대형과는 몇명주냐?
-
가성비 이런거 따지지 말고
-
무휴학반수 팁좀 5
국어 <- 이 녀석은 그냥 평상시에 책 읽으면서 체력관리 수능 직전에 되서야 기출...
-
경희경제 쓰신분 2
혹시 최초합컷 어느정도인지 아시나용
-
이게 장학금이 안되네
-
고경 컴온!!! 3
667~670에 1점대 내신으로 가뿐히 입성 보환융, 한문학과 뜨거운합격의 역사가 떠오르네요…
-
붙나여? 윗표본인데 빠질수있나여??
-
고대 학부대학 0
예비번호 몇번까지 주는건가여
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.