무슨 말을 해도 무모순인 이유
게시글 주소: https://h.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를 선물하세요.
-
살려주세여 2
이 함수가 (9,1/2) 에 점대칭이라는데 왜그런건지 잘 모르겟어요 그러려면 2가...
-
봇치더락 재밌나요? 찾아보니까 12부작 밖에 안되던데 6
순전히 궁금함
-
수능 끝나고 이후 계획이나 버킷리스트 적고 가세요 10
2023년 10월 26일부터 기록하기 시작한 수능 이후의 계획 리스트... 였는데...
-
이 문제에서 다 조건에 부합하는 구간이 있을 수 있나요?? 위에 있는 식 f(x)=...
-
좋다는 글이 많아서 풀러 갈게요 저자님 칼럼을 보고 의아했던 적이 있어서 굳이 안...
-
11~14 더 빡센걸루
-
장수생이 수능 망하는 법 저글 읽고 작년 생각나서 배아파진 사람 개추 1
나만 갑자기 심장 빨리 뛰면서 배아픔? 다들 성불해요
-
바람아 불어라 0
있는 힘껏 2년 전에 참 많이 들었는데
-
김승모 보면 0
ㄱ국어 표본이 대체 얼마나 들어온거지 제발 호머라고 해줘;; 본인 국어 1받아야...
-
댓 ㄱㄱ
-
간단한 조합 문제입니다. 난이도 : 2.5/5
-
보닌 레전드인점 1
중학교 교내 상위45%인데 지역 자사고 모집인원에 빵꾸나서 자사고 붙음
-
08정시러 고1 10모 97점/1등급 (응력 독서 -3점) 작년수능 화작 3등급...
-
이채영 올리기 4일차 10
ㄹㅇ 여신!
-
방인혁 선생님 들어보신분 있을까요?
-
인문논술 재수 10
수능 망하면 그냥 재수는 좀 그렇기도 하고 부모님도 반대하셔서 논술재수나반수해보려고...
-
틀 아님
-
수학(미적)이 올해 9모 난이도로 나오면 1컷 100이겠죠? 8
올해 9모가 너무 쉬웠어서...
-
무엇을 먹어볼까
-
빈틈이 없네 진짜
-
29번인가요?? 아니면 딱히 정해진건 없나요?? 강x같은거 풀때 가끔 27번...
-
해령이동 없고 양쪽 판의 확장속도가 같을때는 대칭적으로 분포하는데 해령이...
-
내년에 사문은 그대로 가고 정법할려고 하는데
-
오늘 뭐냐 진짜??? 10
-
음마
-
아 진짜 빡치기 직전 도대체 약을 어떻게 줬으면.. 수전증이랑 부정맥 증상이 같이...
-
ㄹㅈㄷㄱㅁ 숭배 ㄱㄱ
-
강민웅 특난도 풀다가 ㅈㄴ 깨져서 뭔가 기분전환하고 싶음..
-
이게 무슨 이론임?
-
박지원 요지랄
-
당신은 두 번째 탐구시간에 감독관이 순찰을 도는 틈을 타 첫 번째 탐구과목의...
-
이정도 난이도면 작수대비 어느정도인가요?
-
응애 4
아 피곤해
-
서비스만 아닌가요
-
143일차
-
평소 점수보다 훨 덜 나왔어요.. 존나 불안한데
-
설맞이 시즌2 2회 후기+윤구쌤,인선이형,고대수학과,팀 블랭크 감사해요 2
76점입니다 다 풀고 96인줄 알았는데 미쳤네요. 하찮은 놈이지만 깨달음이 뒤지게...
-
삼도극 1
공부하긴해야하는데 왤케 싫냐..
-
이제는 그냥 혐오감들 정도로 싫어지네요,,수학공부하다보면 자기혐오 끓어올라요,,
-
수학 n제 회독 0
다들 하시나여? n제 푼 건 많은데 실모 하느라 시간이… 다시 보시나요들?! 실모...
-
I가 아니고
-
Gx가 x=3에서 나뉘는데 어차피 3-까지 적분하나 3까지 적분하나 같으니까...
-
기출 푼지 좀 돼서 어려웠던 평가원 모의고사나 수능만 풀어보고 싶은데 2018부터...
-
너무 오래걸리는 것 같은데
-
아람사
-
그불구 1
오늘 왔는데 생각보다 두껍네....
-
이건 다시 풀어도 어렵네.. 근데도 컷보면 가형은 2등급도 진짜 잘하는듯
-
오지훈실모 시즌2,3 치면 항상 3~4 나옴ㅋㅋㅋㅋㅋ
-
키운다면 누구 키우고 싶음
쿠리야 야구팀 어디좋아하냐
야구규칙도모름
좋아하는 운동은 있냐
걷기요
오랜만인거같네 얘
며칠안지남
어디갔었어
게임하러감
님 수능 국어 기출에 저런 거 많은데
읽고 지문 분석해 주면 안 됨?
난 오르비 유저 100%보다 지능이 낮음
왜그럼
신이 원해서요
어떤 신이요
이 세상을 만든 신이요