무슨 말을 해도 무모순인 이유
게시글 주소: https://orbi.kr/00069626569
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
그리고
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
생얼인증 0 0
2시까지 은테되면
-
칼빵을 맞더라도 멘헤라를 사귀고 말겠어
-
확통 작수 2틀인데 0 0
시간없어 28,30 다 못풀고 틀렸고 보통 2,3점에서 실수 거의 안하고 4점짜리...
-
댓글좀 달아주세요 1 0
덕코 가져가세요
-
덕코 가져가 0 0
조금씩 줄게
-
재능이 없다면 0 0
반복 하십시오 (나에게 하는 말)
-
다운로드 개느리네 5 0
됐다 습박 상남자에겐 교재따윈 필요없다 들어보고 좋으면 걍 돈주고 사야지
-
뭐지 0 0
15분전에 먹었는데 왜 졸린 느낌이 없는거지
-
오르비 마크 서버 누가 열어줘 1 0
거기서 하루 종일 마크 할 자신 있음
-
퍼즐푸는 느낌나는게 뭔가 새로움
-
아ㅠㅠ
-
약스압, 독타입 챌린지3) 근황(~플라드리 처치) 2 0
스토리 진행하느라 사진을 많이 못 찍었네요. 이제 후반부입니다. 간호순 누나 얼빡샷...
-
내일 일어나서 마저풀고 2 0
푸는것입니다 잘거임 바바
-
3월 20일 0 0
내가 사륜안을 개안하겠다
-
잔다 3 0
사실 아까도 자고 간신히 이닦고 온 거임
-
-
지듯노 0 0
머어어어드 슈게이즈 조아하면 돌릴만한 앨범임
-
아빠 잔다 4 0
ㅇㅇ
-
정정석석민민 2 0
책 갸비싸네 찍먹할래두 바용이 넘 큰뎅
-
수학 진짜 자괴감드네요.. 4 0
어삼쉬사 1세트 푸는데 6~7개 막혀서 다 틀리고있고.. 개념을 몰라서 틀린게...
-
그 뭐라하지 회귀하는 느낌임 0 0
공부하고 길게쉬면 계속 노베에서 시작하는 회귀 간접체험 가능함
-
최적쌤좋앗는데 0 0
정법이 날 거부햇음
-
ㅈㄴ 호머때린 3덮 1 0
국어 84 수학 92 영어 95 생1 42 지1 40
-
중앙대 가기 58일차 4 0
안녕하세요 중앙대29학번 부산사나이 이동현입니다 후 중간고사가 약 5주 남았는데...
-
엔제 추천좀 해주새야 5 0
곧 엔지 드가려는데 아직 한권도 안 풀어봣음드릴 이해원 설맞이 정도 생각하고 있는데...
-
올해 3모 언제인가요 5 2
???? 컨텐츠 제작에 도움이 되고자 하여...
-
아니 진지한 고민인것임 10 0
독서 강의를 들을지 말지 작년엔 민철이강의 들어밧는데 도움 별로 안대고 내가 문제를...
-
아무나 만나지 마라 5 2
가끔 가다가 쎄한 느낌이 은연중에 드는데도 에이 뭐 연애쯤이야~ 하는 안일한...
-
고3이고 지금까지 질병결석 9번 질병조퇴 2번인데 어떡하죠..
-
님들 디카프 재탕 많나요? 1 0
작년에 산 킬러 엔제 거의 안 풀려 있고 어댑터 반 정도 풀어서 걍 작년 껄로 풀까 하는데
-
3-4시간마다 카페 바꿔다니면서 ㅇㅇ
-
더프 얘기 할거임 0 0
그니까 이걸 C를 기준으로 잡고 하면 풀릴거같단말이지 근데 너무 졸림 자고 일어나서 할거임
-
오르비 마크서버 없나 1 0
마크하고싶네
-
음음 0 0
1등 만드름
-
2027학년도 수능 대비 All Day 3월 모의고사 후기(스포O) 0 0
100분 다 채운 거 같네요 공통(21/22) (22틀) 확통(8/8)...
-
왜 나랑 롤체 안해줌? 2 0
ㅆㅂ
-
교육청 뭘로봄 0 0
선호하는게 뭐임
-
서로 멘헤라여서 13 0
좋됨
-
너무 기름진가
-
그럼 호머식으로 0 0
-
난 믿기지가 않음 0 0
내가 문제를 잘못봐서 8점을 날리고 계산실수해서 4점을 날렸다는게
-
생각보다 왤케 시간이 부족하냐 0 0
국어 독서 5지문 국어 인강 2강 (수국김) 수학 아이디어 2강 + 복습 하면 하루 다 감 이게맞나
-
전 잡니당 1 0
여러분 잘 자요 ♡08분들 3모 화이팅!!♡
-
으하하하하 1 0
내가 이겼다 미적 30번 컷!
-
사줘 0 0
핑거보드 사줘 갖고싶어 사줄사람
-
1섶 수학 vs 3섶 수학 0 0
전자가 공통은 더어려움?
-
폐에서 받아들이지 못하고 기침 나오는데
-
가장 어려웠던 더프는 7 0
언제였음요?
-
언니 잔다 5 0
잔디 잔디 금잔디
-
나같은 심연은 정병조차 오지 않음 그냥 체념의 경지인거임 ㅇㅇ
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요