이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
틀딱들은 오르비를 해라 13
나가지마 !!!!!!!!!¡!!!!!
-
건대
-
6문제 남앗다 갈길이멀다 10개월 남았다 한달에 0.6문제만 더 맞히면 된다
-
나고3인데 불쾌하네
-
성대 소프트웨어 0
작년에 몇번까지 돌았나요?
-
이미지메타 편승 20
이사랑노래가싫어~다신안부르리~~~
-
내일도 수고하세요
-
나도 이미지 써줘요 21
-
시대인재 모의반 8
모의반이 7월에 수강신청을 시작한다는데 그럼 전부터 다니고있더라도 수강신청 못하면...
-
현재 07 현역이고 언미물1생1 공부 하고 있습니다공부를 하면 할수록 물리를 할바엔...
-
선물 드릴게요
-
이미지써주세료 4
으하하
-
저도 이미지 0
써주시길 부탁드림다
-
현역이고 일단 국영수도 할 시간이 모자른데 과탐을 하나 끼고 가는게 맞나 싶네요…...
-
이미지 써주세요 4
라는 어그로로 화1홍보하겠습니다 님들 화학 개쉬워요 얼마나 쉬우면 1컷이 50...
-
얼버기 7
7시에 자서 지금 일어났음요 내일 긴 여정을 떠나야 하는데 큰일났다!!
-
오늘 친구랑 손절했어요 11
이제 남은 친구는 한 명 이 친구마저 사라지면 전 진짜 혼자가 되겠네요
-
이미지 메타 탑승 34
ㄱㄱ혓.
-
내 이미지좀 3
궁금해
-
나죽어
-
많이 늦나요??
-
덕코는 주고..
-
어케되려나
-
탈릅 전 무물보 4
한 번은 해보고 싶었어요 질문 없음 서러운거고 뭐...
-
저한테 많이들 쓰시던데 귀엽다는 뜻인가
-
1. 부산대 밀캠 인식이 어떤가요 2. 부산 내 대학이랑 비교해선 어느정도인가요...
-
25수능이 끝나고 당시 반응은 "물리학1 매우어렵다"이거였음 메가에서 등급컷...
-
뭔 뜻임뇨
-
고2 국어 학평 백분위는 3번 다 백분위 100 원점수 (89 100 98)이였고...
-
소신발언 0
솔직히 심찬우T 김상훈T 윤성훈T ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ ㆍ...
-
질질 5
흘리기
-
등록금으로 다 나갑니다( -4,400,000 ) 거지가 됩니다 다시 돈을 모읍니다 반복 하...
-
고2올라가고 인강들어본적이 없어서 그런데 수1 거의 노베입니다 내신으로 갈거고요...
-
시대 라이브반 3
동내 수학 학원 끊고 시대 라이브 들어보려고 하는데 들을만 한가요? 16만원 정도...
-
나의 이미지는? 10
써주세요
-
네.
-
내일 하루종일노는데 할게없음
-
나는 무엇을 하고 잇는 것인가... 책값과 패스값으로 얼마를 쓰고 잇는가...
-
미미미누 영상 보는데 입에서 침이 나와
-
어차피 대충 결과가 보이지만 어쨌든 입학처에서 보고싶다!!
-
ㅈㄴ 안 오름 나 댓글머신인데
-
[칼럼] 연세대학교 조기발표 일정에 대한 심층 분석 22
오르비 계정은 만에 하나 무언가 입시에 문제가 생길 것을 대비해 공론화 목적으로...
-
김준 풀이 1
김준 풀이 체화하려면 크포 문제 계속 반복해서 풀고 듣고 풀고 듣고 하는게 좋나요?...
-
히리이ㅣㅇ ㅠㅠ
-
그의여자친구는 먹던밥을뱉었다
-
부자가 된 기분
-
반려는 또 뭐임
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.