이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
:D
-
아폴로? 0
생각해보니까 지1 주간지 필요하겠는데
-
작수 확통 3등급인데 한완수 상, 중 2회독 후 하 들어가나요 아님 상, 중 끝내고...
-
사탐런한 노베 고3인데 최적으로 개념강의듣고 도표만 윤성훈으로 들어도 ㄱㅊ을까요?...
-
수능 힘들어서 더 못침
-
아직 애니 40개도 안봄
-
듣기 다맞추고 독해 빈칸추론 순서삽입은 포기하고 한번호로 밀고 나머지만 풀어서 다맞추면 3은 뜨겠다
-
화작확통생윤사문 0
국어 - 강기본, 강기분 수학- (시발점 커리 타고있고 2월 되기 전까지 공통...
-
덕코주세요 8
뿌리고다녔더니 안남았어요
-
https://xurl.es/4stnb
-
트레이닝은 다 아는거같으면서도 헷갈리는거 꽤 나오고, 도킹은 문제푸는데 오래 걸리고...
-
춤추셈 실제로 제가 알바 할 때 기분 X같아서 손님없는 틈을 타서 노래 틀고...
-
나 무서워... 8
사람들이 갑자기 덕코 많이줘...
-
ㅋㅋㅋㅋㅋ
-
시청자 의견 반영은 좋은데 이렇게 뽑을거면 앞에 헬은 지우는게 맞지 않나..
-
팔취 찾는거 4
귀찮아뒤지겠어요
-
축구선수 재능이랑 축구감독 재능도 별개던데
-
프린크카페 질문 2
거기에 모고크기 정도인 용지도 있나용? 그리고 혹시 제 노트북을 들고가야 하나요...
-
[속보]과천 공수처 부근 주차장서 신원불상자 분신해 숨져 12
[파이낸셜뉴스]
-
뀨뀨 3
뀨우
-
여러분 혹시 1
중대 예비도못받았는데 예비번호 나중에 언제 알 수 있나요? 충원 알려줄때 받을 수 있나요?
-
롤해보면 그냥 느낌없는 애들은 눈에 띔 공부도 비슷하긴 한듯
-
시머 의자 좋아요? 의자를 살 일이 생겼는데 내가 생각하기에 당신들만큼 잘 앉아있는...
-
심호흡 한 번 해보세요 저 어제부터 하는데 효과가 꽤 좋아요
-
의지가 어느정도 있는지 보임
-
전자가 좋냐 후자가 좋냐
-
사탐런 조언 5
대성 끊을것 같은데 작년에 사문 했었고 높3 나왔음 지금 쌍윤 할지 / 쌍사 할지...
-
지피티한테 물어봐
-
오전 10시 ~ 오후 6시 사이에 조발 안 나면 그냥 놀면 됨 전화 추합 시즌 예외
-
덕코 주면 14
민초한입 기분 좋아짐
-
단과대 입학 정시 수석이면 장학금 있나요? 걍 궁금해서
-
친구가 팔로워적다고 친구없냐함... 우울띠
-
결과만 놓고 보면
-
ㅏㅔㅣㅗㅜ 6
ㅏㅣㅜㅔㅗ
-
좋군요
-
형은 롤체 깨닫고 하루만에 약 200점을 올렸어 그래그래 형이야
-
근데 학벌이 좋아도 11
수능 3등급 과외는 좀 그렇지 않나 내신 고정 1에 내신만 과외하는 거면 ㄱㅊ지만...
-
씹새끼들 그래서 난 22~24 싹다 출학시키고 25 교육하자고 주장중임
-
스쿼트를 해라 3
무기력증 심할땐 헬스장가서 스쿼트 중량치고 고기먹고 10시간자면 싹 나음
-
ADHD인걸까요. 11
개시글하나보고 생각나서 적어봅니다 저는 어릴때부터 문학작품의 기승전결을 다 시청하질...
-
투투가 유일한 미래다
-
일단 난 아님 ㅎㅎ
-
이정도의 유입은좀무서운데 그래도허수층단단해서 안터지려나 모르겠다
-
메가 없어서 대성만 있는데 임정환t 생윤,사문 개념만 듣고(리밋) 현돌 기시감...
-
ㅈㄱㄴ
-
아까 발표 났을 때 옆에서 같이 봤는데 예비 20번 초반 받았대요!! 그래서 제가...
-
불광불급 5
미치지 않으면 큰 성취를 이룰 수 없다.
-
내가 너 가르치려고...는 아니고 무튼 1년 더 해서 더 공부해서 가르칠테니까 준비하거라 으흐흐
-
나도 대학 붙어서 가분 좋음요
-
급식?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.