이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이거 태블릿 지급이라고 돼 있는데 사양 괜찮은가요? 2주전에 13인치 스마트탭 샀는데 반입 안되죠?
-
동일 학교 높공 버리고 상경 썼는데 벌써부터 미친듯이 후회중임 살자마려운데 +1이 답임?
-
어저께 그 도시락 또 있었음 ㅋㅋㅋㅋ 그거 먹을까 오만번 고민하다 결국 햇반만 사왔네요
-
왜긴왜야 모고 볼때마다 화1 인원자수 갈려나가던데 ㅋㅋㅋ 분명첨에 3모칠때...
-
하나 못풀었을때 멘탈이 갈릴듯 96이 목표면 두개 못풀었을때 멘탈이 갈릴듯 92가...
-
본인 여사친 존예에 씹인싸에 공부잘하는 명문자사고생인디 신남연 팬임 ㅇㅇ 신은 공평함
-
-
걍 가슴쪽이 좀만 아파도 어제 그 병원에서 과잉진료한거같고 그럼 내 피같은...
-
제 레어 언제 와요....
-
초성게임 시작(끝) 38
답 맞추면 5000덕 ㅅㅇ 12시 3분까지 받음뇨 기회 무제한 힌트:고유명사...
-
공부인증1일차 4
3모 23311가 목표입니다 앞으로 더 열심히 노력할게요 현역 문과정시파이터의...
-
올해안에 되긴할려나
-
그때부터 오르비 비호감됐는데 진짜 이상한사람들 많네
-
-
2025년 1월 1주차 韓日美全 음악 차트 TOP10 (+2024년 12월 4주차 주간VOCAL Character 랭킹) 2
2024년 12월 4주차 차트: https://orbi.kr/00071194122...
-
수강하신분 계신가여? 하셨다면 후기가 궁금하네요..
-
1번틀 98점 되고싶었음 물론실력은안됨
-
10명중 5명이나 점공을 했어요지금 1등이라 4명만 더 알면 되는데...
-
별론가
-
초성게임 시작 3
ㅅㅅ
-
재밌어요... 현역(진)인데 말이죠
-
이거 맞지..? 포모 오네
-
ㅇㅈ 15
실시간 저녁 ㅇㅈ.
-
저랑 만나실 수 있는 데이트권을 드립니다 넵.
-
강기원T 수학 7
강기원T 수학 라이브 듣고 있는데 강의는 따라갈만한데 어싸가 너무 어려워요.. 고3...
-
물리 2 지구 1
물리2랑 지구1 중에 뭐가 더 2등급 하기 쉽나요? 둘다 처음합니다 다만 물2는...
-
07들이제들어오는데 예아피방재밌노 Wwwwww 이럴순없잖아요…
-
2만덕 드림 나군 밖에 안 될 거 같아서 나군 기준으로 합니다 최초합 ~ 예비...
-
수학 실수는 대체 어떻게 하면 고칠 수 있음뇨?? 15
25 9모 3점 틀(24번인가 25번) + 22 29 사칙연산 틀 25 수능 5번...
-
물론 너무 낮은대학이 아닌이상은 ㄹㅇ 과가 더중요한거같은데
-
화학:기체추론,양자수추론,이온화 에너지 퍼즐,중화반응 << 시간관리 실패하면...
-
-
어디인가요? 성대. 중대 제외하구요 ㅜㅜ
-
건대
-
6문제 남앗다 갈길이멀다 10개월 남았다 한달에 0.6문제만 더 맞히면 된다
-
나고3인데 불쾌하네
-
성대 소프트웨어 0
작년에 몇번까지 돌았나요?
-
나도 이미지 써줘요 21
-
시대인재 모의반 9
모의반이 7월에 수강신청을 시작한다는데 그럼 전부터 다니고있더라도 수강신청 못하면...
-
현재 07 현역이고 언미물1생1 공부 하고 있습니다공부를 하면 할수록 물리를 할바엔...
-
선물 드릴게요
-
이미지써주세료 4
으하하
-
현역이고 일단 국영수도 할 시간이 모자른데 과탐을 하나 끼고 가는게 맞나 싶네요…...
-
이미지 써주세요 5
라는 어그로로 화1홍보하겠습니다 님들 화학 개쉬워요 얼마나 쉬우면 1컷이 50...
-
얼버기 7
7시에 자서 지금 일어났음요 내일 긴 여정을 떠나야 하는데 큰일났다!!
-
오늘 친구랑 손절했어요 11
이제 남은 친구는 한 명 이 친구마저 사라지면 전 진짜 혼자가 되겠네요
-
이미지 메타 탑승 34
ㄱㄱ혓.
-
내 이미지좀 3
궁금해
-
나죽어
-
많이 늦나요??
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.