이건어떰
게시글 주소: https://m.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
배가본드 다시 연재해 주세요
-
제목보고 신나서 달려온 애니프사들 검거
-
호라모젠젠 7
헤키다시
-
사탐런 1
목표는 잘몰겠지만 일단 스카이 이상 25수능 32213 (화1지1) (국어개못함,...
-
나의 이미지를 써주세요 30
저는 당신들에게 어떤 존재인가요?
-
성대 한교 1
644.46 가능?
-
제가 낄자리가 없어오ㅜㅜ
-
8시 기상 밥 먹고 9시까지 독서실 가기 9~12시 국어 점심 30분+10분동안...
-
잘했으면 좋겠네 T1의 자리는 진짜 무거울텐데 잘 견뎠으면 페이커가 같이 못해도...
-
사람들은 본능적으로 자신의 의견과 다른 의견은 수용하지 않으며 그 의견이 틀린걸...
-
아니 근데 버츄얼 아이돌 공연은 가는 거 진짜 이해 안 가네 10
쉽지 않아 요즘 문화
-
은근남자한테 3
설레는애들은 뭐냐????????????
-
이런거 보러가면 7
현타 개쎄개올듯
-
사촌형이 용돈줄때 ㅋㅋ
-
놀라운 점 10
저는 오타쿠아님
-
-
내가 좋아하는것만 봄. 편향된 시각으로 살게됨
-
아놔 엠티 도착날이 제이홉 콘서트 가는날이랑 겹쳐 아놔 이렇게 된 이상 엠티를...
-
합격해서 다니고 있는데 서울 사는 친구랑 만나서 물어보니 고양외고 못들어봤다고...
-
포항공대(포스텍) 일반vs 반도체 둘다 붙어서 고민하다 일반 진학했습니다 ㅋㅋㅋ 그...
-
보컬로이드 들으시는분
-
이글 전문 다 읽는데 19수능 당시 수능국어를 친 수험생이 느꼈던 감정을 고스란히...
-
옯늅늅 인사 4
2023년에 가입해두고 눈팅만 해서 아이민은 126만대지만... 자작문제도 올려보고...
-
맞팔구함뇨 3
ㅇㅇ 구함뇨
-
필수이론+기출+스타팅포인트+복습가이드 일괄 판매합니다! 필기 한 새 책입니다!...
-
억억억억억
-
빈티지 룩으로 커플룩 맞춰입고 제주도가고싶어
-
빈티지룩 6
으로 쌈뽕하게 입고싶다
-
그냥 운전면허따면 자격증 받는건가요?
-
왤케 따갑냐 ㅅㅂ
-
자야되는데 2
안자고 내일 아침에 자야겠다
-
다들 전자책 사서 패드로 보나
-
글 2개 쓰신 알파메일 분도 계시네요
-
아 배고파 1
야식메뉴추천좀 ㅇㅇ
-
자유전공학과는 3
1학년 때 무슨과냐고 물어보면 가려고 하는 과로 대답 아니면 그냥 자유전공학과라고 대답하나?
-
의대 이슈 관심 있는 분들 한 번 읽어보셈 (본인이 원서 쓴 거 아니면 별 필요는...
-
올해 뭐 다군이 신설 많이됐다고 2바퀴만 돈다는 여론이 있던데 안붙을까요?
-
대학교 가면 저절로 생기는 편인가요? 아니면 각자 사나요?
-
-
강기분 수강하기
-
미치겟네 으악악
-
제 인생 명작인데 함 보시길 여담으로 정발본보다 불법번역본이 번역퀄리티 백배는 좋음
-
엇 테두리 생겼다 10
깔맞춤으로 한뱃 달아야지 예쁘다 색
-
사랑하는 사람하고 대화하는 것 처럼 지문 읽으래서 매번 지문 읽기전에 딥키스 갈기고...
-
이거 가능한점순가요
-
화산귀환 웹툰보다는 전개가 시원시원하네 근데 전독시도 실사화 나오면 바로 따라잡히는거 아닌가
-
매일 하는 생각 24
과 밝히면 진짜 큰일난다
-
오르비 쪽지 : 앱 없으면 알림이 안 떠서 불편 그나마 이거 많이 씀 오픈카톡 :...
-
코인 ) 리플 흡성대법 ㄷㄷ 비트 100k 직전 ㄷㄷ 5
리 --- 맨 승리의 리플 홀더 소리질러 !!!
-
이런반응나옴?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.