무슨 말을 해도 무모순인 이유
1. 거짓을 부정할때
거짓을 부정하면 참이다
모순이면 거짓
대우명제는
참이면 무모순
따라서
거짓을 부정하면 무모순이다
2. 참을 부정하는 경우
2.1 공리를 부정하는 경우
공리는 참이라는 증명이 없다
즉, 귀류법 증명도 없다
즉, 공리를 부정해도 무모순
즉, 공리가 거짓이어도 무모순
2.2 참인 결론을 부정하는 경우
전제가 참이면 결론이 참
대우명제는
결론이 거짓이면 전제가 거짓
즉,
참인 결론을 부정하여 거짓인 결론이 되면
전제가 거짓이 되는데
공리는 전제에 속한다
따라서
참인 결론 부정->거짓인 결론->전제가 거짓->공리가 거짓->무모순
따라서
참인 결론을 부정해도 무모순
이로서
1. 거짓을 부정하는 경우
2. 참인 공리를 부정하는 경우
3. 참인 결론을 부정하는 경우
모든 경우에 대해 부정해도 모순이 없음을 증명함
그리고
A다! 라는 주장을 부정해도 무모순이고 이때(A가 부정당해 A가 거짓이됨)
not A다! 라는 주장을 부정해도 무모순이고 이때 (not A가 부정당해 not A가 거짓이되고 따라서 A는 참이됨)
즉,
A가 참이든 거짓이든 무모순이라는거임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
문제가 맛이 없다 틀려도 뭔가 그냥 그런건가…? 싶음 저만 그런가요?
-
10덮 2
화작 76 몇등급일가요 ..ㅠㅍ
-
장기적으로는 한국도 중국이나 인도처럼 되지 않을까 16
고령화랑 부동산 때문에 일본의 전철을 밟는다 뭐다 하는데 일단 고소득층이나...
-
쓰으으으으읍하아아아
-
안녕하세요 28번까지는 푸는데 29, 30번을 못풉니다 이러면 무슨교제로 푸시나요...?
-
언매 공부하려는데 2025 강의로 먼저 할까하는데 언매올인원 강의 보통 언제쯤 개강했나요?
-
ㄸㄷㄸㄸㄷㄸㄸㄷㄸㄸㄸㄷㄸ떨지않ㄱㄱㄱㅇㄱㄱㄱㄱ기기ㅣㅣㄱ이이ㅣㅣ기기기기
-
단한번도 평가원은 어려운 도형을 낸적이 없었던거 같은데.... 답지 보면 여기...
-
덕코주세요 5
100만덕 모으고 싶어요
-
으악!!!
-
이감,상상,강k 등 국어 사설 많이 풀고 느낀점!! 9
22,24 둘다 현장에서 느낀 당해 가장 사설틱한 시험은 수능날 보는 수능이였다는...
-
지인선이랑!!!! 똑같이 풀엇는데 !!!!!!!!!!!!! 2
왜나는답이틀리는거야아어어어ㅓㅇ어아아아악
-
오늘만 좀 시간 박아야겟다. .
-
특파 다 풀어가는데 쉬운실모 없나요..
-
아쿠아 혼자 빠개면서 카미키랑 바다에 다이빙하고 가라앉던데 어케 살아날거라 봄?역시...
-
1. 진짜 무시해로 저 사단을 낸 거면...말을 아끼겠고 2. 더한 사건이 있는데...
-
...
-
정법황분들 4
이번 이투스 10모인데 이문제 하나가 좀 찝찝해서요 2번선지에서 지방자치단체장이...
-
진짜로 삼룡의 거르고라도 치대로 서울 가거나 인하 아주 가는 이유... 서울...
-
홋홋 홋카이도 7
나는 간다 1월에 홋카이도
-
현실은...
-
이전 글인데 세줄 요약하면 1. 상대가 내가 고집이 쎄다고 봄 2. 상대가 나때문에...
-
10덮 1
92 92 92 44 41... 순서대로 언미영화생 11122겠지? 생1 3까진 안 갔으면 좋겠는데
-
평가원 시험에서 11~13번,21번 등 푸는데 드는 시간보다 사설에서 훨씬 많이...
-
ㅎ윽
-
수바 88점은 첨인데 28
쉬워도 기분은 좋네요 기특하구나
-
화이팅하십쇼
-
경제 더프 특 6
출제자의 악의가 느껴짐
-
출처:...
-
로크 입법권 2
로크가 계약된 국가 내에서 개인들이 자연법 집행권을 포기했다고 하는데 양도한건...
-
존맛이네 술도 냥냥하게 맥주 한병 이상 마심 ㅎㅎ..
-
다뒤졌다 ㅋㅋ ebs 연계도 내일부터 드감 유씨삼대록 옥루몽 관동별곡부터 조지러감...
-
10덮 미적 3
77이면 보정 2가능한가요..? 잇옹학프때매 컷 높을 거 같긴란데
-
다 해보고싶다 2
ㅅㅂ
-
딴 곳에서 얘기를 들어봤는데 딴 곳에서만 얘기를 들어서 편중된 방향으로 생각할까봐...
-
지구 질문 2
주계열성의 질량과 생명가능지대관련 내용인데요 보라색 밑줄친부분에 중심별의 수명이...
-
답 불러주실분 계신가요 ㅜ
-
수능은 하 그냥 머리 비워야겠다 머리아파 대체 실모 잘보는 사람들은 뭐냐
-
올해 초부터 마주칠 때마다 귀여운얼굴보면서 힐링했었는데 최근 몇달간 잘 안보이더니...
-
ㅊㅊ해주세요 이감은 화작만 너무 쉬움 10덮 2개 틀렷는데 병신인가요? 아아아
-
물어볼데가 없어서 여기다라도 물어봅니다.. 이번에 제가 수능이 끝나고 군수를 할려...
-
10덮 점수.. 4
10덮 이정도점수면 동국대 컴공 가능할까요? 수학 14번 찍맞 지구 16번 찍맞 너무 달달하고~~
-
정치와 법 간단 질문! 12
상시 근로자가 5인이상인 사업장에서 사용자가 30일 전에 서면으로 통지 안하고...
-
독서 사회,과학지문은 ㅈㄴ 쉽고 인문 살짝 까다로움 그렇다고 문학이 날먹은 아니고...
-
정시쪽을 크게 생각하고 있고 목표는 약대임 내신은 3점대 정도... 그런데 내가...
-
사회계약설 < EBS니깐 ㅇㅈ 등기부 등본 < ???? 비문학에서 보던걸 채무관련...
-
GRIT FEED100 LEET300 다 하는 건 너무 과하죠? 1
아님 주간지 안 하면 1년간 충분한 양일까요?
-
데스노트 마렵군
-
킹키부츠 보러옴 1
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요