이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
6칸 게이 5칸 안정 4칸 적정 3칸 소신 2칸이하 스나
-
어려서 꿈꾸었던 비행기 타고~
-
잘 사실까..
-
경희대 반도체공 전자공 6칸인데 경희대 경제 무역 경영도 6칸임 근데 경희대 무역...
-
의대합격보다 진지하게 어려운듯 국가유공자혈통도있어야되잖아
-
진짜 시작하면 중독돼서 하루에 8시간씩 박을거같은데
-
초성게임 23
ㅁㅎ 12시 10분까지 기회 무제한 상품:5천덕 힌트: 먹을 수 있는 거임
-
장투 따로 하고 시드 900 남기고 갖고 홀짝게임 중임요 따라하지마요 열차 출발 합니다~ 가즈아!!
-
김동욱 6
자러갈게요
-
김태완스시 0
아유 배고파
-
지금 현역이라고???? 나 두살 때 노래가 이렇게 좋다니
-
눈물의 삼수생 감격의 승리 ㅅㅅㅅㅅ
-
약 먹는 동안은 이 시간에 밥을 먹으면 안되겠어요...
-
예측확률 99%일때 min 값이 가장 보수적으로 본건가요?
-
지구10모까지 평백 98 -> 수능백분위 54… 지구 유지 or 생윤(또는...
-
체지방을 줄이는걸 동시에 하는건 불가능한가
-
-
걍 수1특강도 할 걸 그랬나
-
호떡 먹고 싶어요 10
여행가서 먹은 그 맛이 잊혀지지 않네요 주변에 호떡 파는 곳이 없어서 울엇어...
-
메시와 호날두라 할 수 있다.
-
-
다군 추합 0
다군에 동국대 열린전공(인문)은 추합 얼마나 돌까요...??.? 70명 뽑고...
-
1 7
10000덕
-
이거 태블릿 지급이라고 돼 있는데 사양 괜찮은가요? 2주전에 13인치 스마트탭 샀는데 반입 안되죠?
-
동일 학교 높공 버리고 상경 썼는데 벌써부터 미친듯이 후회중임 살자마려운데 +1이 답임?
-
어저께 그 도시락 또 있었음 ㅋㅋㅋㅋ 그거 먹을까 오만번 고민하다 결국 햇반만 사왔네요
-
왜긴왜야 모고 볼때마다 화1 인원자수 갈려나가던데 ㅋㅋㅋ 분명첨에 3모칠때...
-
하나 못풀었을때 멘탈이 갈릴듯 96이 목표면 두개 못풀었을때 멘탈이 갈릴듯 92가...
-
쉬사준킬 4규 후 무슨 엔제를 푸는게 나을까요?? 그리고 쉬사준킬이랑 4규중에 뭐가 더 어렵나요?
-
본인 여사친 존예에 씹인싸에 공부잘하는 명문자사고생인디 신남연 팬임 ㅇㅇ 신은 공평함
-
-
-
I love you 11
baby I'm not a monster 넌 알잖아 예전 내 모습을~
-
-
걍 가슴쪽이 좀만 아파도 어제 그 병원에서 과잉진료한거같고 그럼 내 피같은...
-
제 레어 언제 와요....
-
초성게임 시작(끝) 38
답 맞추면 5000덕 ㅅㅇ 12시 3분까지 받음뇨 기회 무제한 힌트:고유명사...
-
공부인증1일차 2
3모 23311가 목표입니다 앞으로 더 열심히 노력할게요 현역 문과정시파이터의...
-
고민 끝에 나온 답은 어느 걸 골라도 후회하는 것! 어차피 후회할 바에야 지금 편한 걸 고르라! 5
고민하지말고 닥치는대로 즉흥적으로 살기
-
냥대 가군.. 0
내일 16일 발표하는 가능세계는 없는 건가요 ㅎ
-
올해안에 되긴할려나
-
그때부터 오르비 비호감됐는데 진짜 이상한사람들 많네
-
-
2025년 1월 1주차 韓日美全 음악 차트 TOP10 (+2024년 12월 4주차 주간VOCAL Character 랭킹) 2
2024년 12월 4주차 차트: https://orbi.kr/00071194122...
-
수강하신분 계신가여? 하셨다면 후기가 궁금하네요..
-
1번틀 98점 되고싶었음 물론실력은안됨
-
국어1 수학3 나오고 정시 인문 전형으로 런 사문확정, 지구 or 정법 or 지리...
-
10명중 5명이나 점공을 했어요지금 1등이라 4명만 더 알면 되는데...
-
별론가
-
낼 제출할 예정이랍니다
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.