이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
예아
-
맛저하세요. 2
수고하셨습니다.
-
내분비 끝났다 14
마지막 블록 잘나와서 딱좋다... 내일은 복습하고...소화기로 넘어가야되나
-
교육청/평가원이야 어쩔수없다쳐도 더프는 그냥 맘대로 내도 되잖음 예전부터 항상...
-
그런건 없습니다마음 안 줍니다
-
님들 저 실모 현장에선 첨 처보는데 피드백은 어떤식으로 하죠? 0
잘모르겠어요..
-
정법황분들 6
15번에 1번 선지는 왜 틀리는건가요? 애가 책임능력이 있으니까 부모한테 특불이 안...
-
뭐야 이거 4
이쁜데
-
갬동
-
언매 78 미적 73 영어 96 물1 47 생1 44 입니다.... 잘봤다고...
-
1998년이면 외환위기로 나라 진짜 망한 시절에 휴대폰 시장은 모토로라가 꽉 잡고...
-
”야 더프“ 9
생각해보니까 너네가 6모 9모 수능 낼것도 아니잖아 차피 내고싶어도 못내잖아 시험...
-
물론 전 안 봄
-
3덮 망쳤나요? 10
3덮이 오늘이었나보군요 다들 수고하셨습니다 제 기억에 3월 더프 점수는 좋았던 적이...
-
1번인데 2번이라적혀있는거맞나요?
-
기하 어려웠죠 1
기하부터 푸는 타입인데 4문제 맞았을려나 3점도 못 풀었어요 기하 말리니까 공통도 시간 부족했어요
-
아 내가 나가야되는구나
-
길 이상하게 가면, 삼각부등식에 의해 비효율적으로 걸엇음이 증명되엇다 이러고 잇음. 짜증나죽겟음
-
수학 시험지에서 할 수 있는 모든 종류의 실수를 다 했네 8
좀 멘탈나가네.. 3d=6 -> d=3 AB를 OB로 보고 분수 네제곱 계산하기...
-
작수 영어 79->더프 87 1등급은 못받았지만 그래도 뭔가 발전한거같아서 뿌듯하네요 ㅎ
-
상위권 수험생을 대상으로 운영됨 예외사례면 개추.
-
1컷은 어차피 가망 없고 2컷 어느정도 되려나요
-
근데 사실 수험생활때도 70점 안나온적이 많았다는거임 저런데서 멘탈 깨지면 진짜 그...
-
-
진짜 걱정하지 마시고 본인 공부 꾸준히 가는게 맞는거 같아요 저만해도 작년에 9월...
-
전 더프보면 맨날 60 70 도배했는데 6평 98 수능 95 띄웠었음 걍 시험이랑 안맞나?
-
3덮 수학 ㅅㅂ 0
20번 내 글씨 못알아쳐보고 39->37시전해버림 내 92좀 돌리도
-
무엇을 볼까요 맛나보이는 거 많던데
-
죄송합니다 4
상위권이였네요 죄송합니다 당연한거였네요 정말 미안합니다
-
-
국어 문학이 어렵다하냐 문학 1개틀리고 비문학 4개 나갔는데 ㅅㅂ
-
06이라고 거절당함뇨 어이없네 ㅡㅡ
-
보여주지 4
내 진짜 실려쿠
-
왜 나만 더 비참해지는건데 아니 도둑놈심보마냥 몇달 공부하고 높은 등급을 원하는건...
-
수능준비함서,, 주 2-3일정도 2시간씩 카페알바피좀 에반가요?
-
기하는 확실히 시각 중추를 자극해주는 재미가 있음 ㄹㅇ
-
브릿지 서킷보다 어렵나요?(준킬러 기준) 브릿지나 서킷은 빠르면 30분 늦어도...
-
지구 5
지구 기만아니고 진심 개어려웠음 작수2인데 점수 반토막 난 듯 -20넘어가면서 안 셈
-
나만 그런가 4
모고 보고 나면 대가리 깨질 거 같음 + 소화 안 되는 거 같음 + 명치막혀서 숨...
-
노론이 정조 암살의 배후라는 썰은 정조-심환지 사이 비밀편지로 완전히 엎어졌죠. 0
정조와 심환지가 그렇게 합을 맞췄을 줄은 누가 예상했을까요?심환지가 정조가 보낸...
-
병원 근처 맥날가서 버거 받고 자리로 가는데 넘어지면서 콜라랑 감튀 다 쏟음 버거만 먹고왔다
-
배성민 빌드업 0
좋긴한데 필기가 너무 많네ㅠㅠ 무슨 풀이법이 5개 ㄷㄷ
-
내가 이상한가
-
ㅈㄱㄴ
-
보정 무보정 둘 다 !!
-
언매 미적 영어 세계지리 지구과학 몇등급정도 뜰까요??
-
3덮 국어1컷몇예상 10
ㅈㄱㄴ
-
3덮 4
언매 87 미적 100 영어 100 생1 50 지1 40 흐무ㅜ 아직 많이 부족하다
-
영어 4면 3
듣기 단어 구문 공부하며 기출 고2꺼부터 보는게 나을까요
-
작수 때 말려서 잘 모르겟네요..
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.