모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://snu.orbi.kr/00069266946
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률 부정
[(A=A)를 부정]<->[(A=/=A)가 참]
[(A=/=A)가 참]->무모순
무모순율 부정
[(not(p and not p))를 부정]<->[(p and not p)가 참]
[(p and not p)가 참]->무모순
[(p and not p)가 참]<->[모든명제가 참]
[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
님들 저 이번주 수요일에 수학실모 현장응시 첫경험 할 예정임요 5
기대가 되는군요
-
2시간 30분 요약본 다 봄 ㅋㅋ
-
는어렵지는안앋어요. 미적30번은계산이좀만아요. 공통은쉽고미적이조금어령워요....
-
질받 9
ㄱ
-
9모1컷입니다 강민철 커리 타고 있구요 우기분 너무 늦어서..ㅠ0
-
90점 감사합니다 gpt님 합격을 위하여..
-
라면에 비엔나 넣기
-
난 진짜 유부가 도대ㅔ 무슨맛으로 먹는건리모르겠음,,, 맛뿐만아니라 식감도...
-
몸이 안좋은데 4
어제 술먹은이후로 감기걸린거같은데 그새끼말로는 그새끼 주변에 싹다 감기걸린거같다는데...
-
이것도 국평오? 0
토플 115로 아이비간다는게 아니라 아이비 애들이 115니깐 이정도면 아이비애들...
-
질받 40
-
올리면 풂? 안풀면 문항공모로 싹다 돌려야지
-
너무 많이하는군 현실적으로 안들어오는건 힘들거같고 하루에 30분 정도로 합의를...
-
수학 - 배성민t 물1물2 - 방인혁t 렛츠고
-
물바난이도의 정상화
-
국어공부 2년차에 드디어 기출을 어떻게 공부하는지 깨달음 5
정말 오래걸렸다
-
11회 존나 어렵네
-
한완수 지로삼 죽을맛임......특히 지로함수 사실 다항함수도 어려워죽겠음
-
다양한 가능성을 대비하기보단 요즘 경향에 맞는거 추천좀 해주세요 경향에 맞는다는것은...
-
강의 집중해야 하는데 걍 얼굴만 봐도 빡침
-
너무 허수책 이미지가 강함 특히 사이즈가 평범한 교재 사이즈가 아니라 책 같은...
-
보면 볼수록 현타만 그득해지네
-
학원에서 이제 나왔는데 아침이랑 같은 계절인거 맞음? 반팔 반바지에 맨발 슬리펀데...
-
배성민쌤 파이널이 너무 싸서 바로 지르고 호감되어버림
-
+ 수1 드릴5 50프로
-
요새 학원 가서 시간을 알차게 쓴다기보다는 마치는 시간을 기다린다는 느낌이 더 강한...
-
노총각 형에게 러시아여자 이뻐서 장난삼아 여자 어떠냐고 물어보니 너무 진지하게 본인...
-
2등급 간당하게 띄우는 실력이고 아직 영어 기출을 안풀었습니다. 지금까지 영어...
-
뭔 이딴 ㅂㅅ같은 프로그램을 만들 생각을 하지…??
-
ㅠㅠ 추워
-
저는 잘한다는축에 있기 애매한 사람인데 공부할 때 한 선지 한 선지 한 지문 싹 다...
-
메가스터디 교재 새책or거의 새책 반값에 판매합니다 5
개씹허수라 거의 다 새책이고 조금 사용한 책 마저도 거의 5페이지밖에 흔적이...
-
수학 실모 5
강대X, 서킷X, 킬캠 제외하고 좋은 실모 추천좀 부탁드려요 난이도 높은거 원해요
-
빡모 좋다해서 풀어봤는데 계속 80초 뜹니다 어느정도 난이도에요? (시즌1)
-
아니 이거 인물관계 왤케 복잡하냐거 아오 아오
-
:)
-
오개념은 아닌거 같은데 도표부분은 해설할때 그부분 빼고 설명한거고 악성 민원인 지위...
-
설대 정시랑 성대 수시 최저밖에 없나 인문대 입시에 제2외 반영하는 학교 또 있나...
-
개인적으로 엄청 잘 들었던 입장으로써 오개념이 사실이라면 하셨던 말대로라면 은퇴를...
-
시발 이게대체뭐임???
-
이번 언매 예상 4
평가원이 24수능 고전 문법처럼 ㅈㄴ 통수치기 좋은거 1. 로마자 표기법 2. 상대...
-
수능 영어 4등급만 맞으면 되는데 남은 기간 어떻게 공부하는게 좋을까요? 지금...
-
은퇴 드립 뭐임
-
서강대가 나왔다
-
화1 서바 1
요즘 나만 쉽다고 느끼는거 아니지…? 풀고 왜 시간이 남냐 서바답지 않게
-
풀어주실건가요...
-
어떤 게 있을까용? 아직 수특 수완 펴보지 않았습니다앗 꾸벅
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요