이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
2년전에 여르비 업엇는데 0 0
요즘엔 생각보다 여르비 많구나 몰랏어
-
아무 댓글이나 달아주세요,, 0 0
대학생 분들 방학에 뭐 하고 계신지 궁금해요,,
-
축구한지 3년 넘음 1 0
이제 헛발질만 할 듯..아..하고싶다..
-
나군 억까당했는데 2 0
가군은 6칸인데 가군까지 억까당하면.. 강제삼수 ㅠㅠㅠㅠㅠㅠ 아닐거야아닐거야아닐거야
-
예비고2 고1 모고 커하 모음 8 2
재업이에요 ㅜ ㅜ 칭찬좀 ㅎ ㅎ
-
이감패키지는 무슨 가격이 1 0
몇 년 사이에 두 배가 돼잇네 23이었나 24땐 18마넌이었던 거 같은데
-
사관, 경찰대 한 분야의, 공직으로써, 관리직 이라는 무적의 조합 ㅇㅇ
-
범위의 차이인가요 아님 난도자체가 높은가요
-
출석체크의 미스터리 2 0
5등까지 가산덕코를 주는데 5등덕코<6등덕코일 경우가 꽤 많음
-
월요일까지 글 목록만 구경해야됨 아
-
게히의 데뷔전 3 0
-
나오면 나는 조지니까 나한테는 이득인가
-
나 언매 장지문 다 찍는데 8 0
언매 양치기로 극복되냐
-
재수/반수하면서 개념공부 0 0
수학, 탐구 해야됨?미적 정법 사문이고사문은 처음하는거라 당연히 할건데 정법은...
-
문학은 몰라도 독서는 무조건 오를 거 같은데
-
팔로잉 수 523 12 1
보인다 보여
-
님들아 수학 문제좀 풀어주셈요 15 1
내 풀이는 이건데 맞는지 풀어주실분
-
명문고가면 강제 정시 7 0
이거 맞말인듯
-
오늘은 많이 못해서… 사진 올리기 좀 민망… 계획은 거창한데… 오늘 계획 달성률이...
-
두바이쫀득문법 7 0
두바이쫀득언매
-
아니 이거 노래는 좋은데 6 1
게이 드라마네 ㅅㅂ
-
앞으로 정시에 내신을 반영하는 대학은 지잡으로 간주한다
-
두바이조발쿠키 1 0
조발좀
-
고대남 7 0
아
-
-
그냥 리트 기출공부는 나중에하고 수능 독서나 회독 더하는 느낌으로 공1부할게 6~7년뒤 볼거 같은데
-
쳐 자느라고
-
생윤 고수님들 노베 구원 0 0
안녕하세요 사탐런 한 이과생인데요 사문은 1달만에 개념, 기출 한바퀴 돌리고 작수...
-
서울대 내신평가 5수 이상이면 0 0
일반고 3점대 내신이면 CC인가요?
-
윤사 노베면 누구 들을까요 3 0
지인이 물어봐서..
-
보여드리겠습니다
-
-
학교 국어 영어 표편 10 초중에 수학 20넘는데 이건 뭐냐 2 1
담요단이많은건가
-
존예다 1 0
-
어른들의 공식을 쓰지말아줘
-
재미있는 수학인강 쌤 추천 좀 해주세용 정승제,현우진,김성은 말구요
-
방학 때 알바 추천좀 0 0
여름때 한달만 빡세게 해놓고 그 돈으로 내년 겨울에 해외여행 갈까 싶은데
-
연대 점공 2 0
연대 추합 가능할까요?
-
맞팔 ㄱ 4 0
ㄱㄱ
-
중학도형 퀴즈 ㄱㄱ 18 0
-
요즘 더욱 느끼는 것 4 2
"아 ~한 상황 되고 좀 괜찮아 질 때 해야지" -> 보통 그런 때는 안 오고...
-
1학년 땐 표편이 훨씬 작았는데 애들이 다 정시로 돌려서 표편 박살 남...
-
지역의사제 이거가 7 0
다른 메디컬 입결 내려가게 할 수도 있나요
-
강의를 안들어봐서 그런가 다 스캠같음
-
자작모 이륙 많이시켜주나요 10 4
안뜨면 슬플것같은데
-
먼저 카드내민꼴을 본적이없노
-
어떻게 생각함. 부모님이 재수 지원해주신다 하는데 이왕 정시할거 시원하게 미적...
-
프메 필기노트 기대된다. 0 0
정병호 2타가자 1타 이미지 2타 정병호 3타 김범준
-
김승리 유대종 0 0
김승리 쌤 수업 많이 어렵나여?
-
지금 뉴런 사기엔 좀 아까운가 18 0
전에 뉴런 들었을 땐 조금 당연한 소리를 굳이 설명해주는 느낌이어서 안 들었는데.....
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.