이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
전 24수능때 과탐한거...
-
구라 같지? 11
각오해^^
-
70+가 사람임????
-
천만덕 가쥬아
-
-
밀주일 정도 쓰니 쪼까 싫증 나네
-
여친 ㅇㅈ 6
-
美 법무부, 트럼프 수사 검사 12명 ‘무더기 해고’ 1
[앵커] 취임 일주일을 넘긴 트럼프 미국 대통령, 거침없는 행보를 이어가고...
-
갤탭 사야지 4
s10+가 12.4인치던데 이정도면 필기하는데 불편함은 없겠죠?
-
어캐하죠
-
레어사요 7
레어사요...
-
원래 모르는건 2번찍기로 결심햇엇는데(정치x) 공통 답배치가 생각보다 너무 고른거임...
-
어휴 정보만얻고나와야지
-
노병은 죽지 않는다 14
나 공부 시작함 치타 달립니다 딱 대세요
-
이빌트원 레어 가져갈거면 둘다 가져가라고
-
세젤쉬 공통-쎈 이후에 알텍 들으면서 빡t 커리 탈 예정이었는데 정병호 괜찮다는...
-
첫 풀이 2000덕 드리겠습니다!
-
방금 확인해봤는데 가셨네요..요즘 우울해 보이시던데 행복하시길 바랍니다.
-
-
-
3단으로 만들어야지 헤헤
-
운동을 잘 못 했군...
-
흠 열심히 해야겠네
-
-
설날 분위기를 깨고싶지는 않아..
-
행복하세요,, 6
-
https://leftvalues.github.io/
-
기후파트까지 했는데 지리 관련 한반도 모양밖에 모르는 본인이 듣는건 아닌거같다는...
-
새뱃돈 8
나만 못받았네. 세배를 안했으니깐 당연한건가
-
이때 까진 기분좋았는데 ㅋㅋ
-
의사 큰아버지께서 대학 등록금에 보태라고 200주셨음..
-
ㄹㅇ
-
특히 성적이 거품물고 반대하더라고...
-
덕코 벌어야뎀.. 레어....크아아아ㅏㅇㄱ
-
호훈vs노예 13
이거 대충이라도 알고있는사람 얼마나 남아있으려나 나도 직관 못했는데
-
뭐 성적을 올려서 최대한 해봐야될거같네요 ㅠㅠ
-
현역이가 한것들 14
국어 강기분 4주 + 5주차 진도 언매 올라올때마다 보는중 수학 강기원 어싸 4주...
-
서강대 합격생을 위한 꿀팁 5 [서강대 25][Tip.5] 0
대학커뮤니티 노크에서 선발한 서강대 선배가 오르비에 있는 예비 서강대생, 서대...
-
상습 글 싸기 3
-
문학 풀때 1
맨날 서술상의 특징만 틀려오는데 이런 거만 따로 기준점 잡아주는 인강 없나요 ㅠ 아니면 공부법이라도
-
서점가니까 국일만 말고 영일만도있던데 근데 이건 다른분이 쓴 책같데 이건 뭐임???
-
"주예지"
-
씹덕노래추천 12
goat
-
128 쓰는데 벌써 절반 넘게 참 중고로 팔고 256이나 512로 넘어갈까 산지 3달 돼서 고민임
-
기출은 작년에 이미 돌리기도 했고 내신 베이스도 탄탄해서(과중학교 1등) 기출은 안...
-
"강기원"
-
아주대 장점 0
의/약/대학병원/이공계/로스쿨/경영/인문사회까지 모두 한곳, 한캠퍼스에있습니다....
-
옯붕이 설날.. 8
삼촌:그래 앉아봐, 3수한다면서 어디대학교 갈거니? ?: 삼수 올해가 마지막까지고...
-
음력설이지만 코토시모 요로시쿠 오네가이시마스
-
대학커뮤니티 노크에서 선발한 이화여대 선배가 오르비에 있는 예비 이화여대학생,...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.