모든 명제가 참이면 무모순임을 증명
게시글 주소: https://snu.orbi.kr/00069265597
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률
[(A=A)를 부정]<->[(A=/=A)가 참]
A=/=A이면 무모순
따라서
A=/=A는 무모순
무모순율
[(not(p and not p))를 부정]<->[(p and not p)가 참]
(p and not p)이면 무모순
(p and not p)가 참이고
공리를 부정하면 무모순이기 때문에
[(p and not p)이면 무모순]은 전건과 후건이 모두 참임
즉,
(p and not p) and 무모순
즉,
모든명제가 참이고 무모순이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
지구 230920 13
ㄷ선지 진짜 하나도 이해가 안되네 미치겠다 ㅅㅂㅋㅋ
-
스태틱 5
의 단거(DanGer)
-
D-1 축하축하 1
드디어 “대학수학능력시험 Eve”의 D-1입니다!! 모두 고생 많으셨어요!!ㅠㅠ...
-
샤인미설맞이 85점 설맞이2-1 76점 2-2 85점 지인선신성규kk 84점 이해원...
-
씹돼지는 아니고 약간돼지인데 주변에서 살빼면 잘생겼는데 왜 안빼냐 소리 듣긴 함...
-
맛집 추천 1
https://naver.me/GRO924jV 추워지면 가면 좋을듯
-
응 호머할 거야 96점 개꿀~~~~
-
하긴 1학기까지 대학에서 펑펑 놀다가 2학기 와서 공부 쳐 하는데 감이 남아 있을리가...
-
독서론도 동양 서양 가,나로 냅시다
-
수능날 후드모자 4
쓰게해주나요? 작년엔 쓰고봤는데 운이좋았던건가?? 감독관이 왜써야되냐그래서 아...
-
수능 잘보라고 하고싶진 않고 걍 마음 편하게 안되면 인생의 전환점이라 생각하고...
-
삐질삐질
-
상상 추천 0
5-4 5-7 5-8 있는데 추천즘요
-
놀라운 사실 8
또.치는 23수능 시즌이 끝나고 하루에 메인을 3개씩 보냈었던 개 미친 옯창이었다...
-
이건누구임? 3
나대는 넘 Vs 사먹는 넘
-
거의 1년만에 국어 수학 사설 모의고사 풀어본거 같은데… 뭐 이런 엄마없는...
-
인서울 약대 정원 50% 여대에… “남성 차별” vs “여대 노력” [넷만세] 19
‘638명 중 320명’ 정원 두고 온라인 시끌 “평등권 침해 아냐” 과거 헌재...
-
지금 나를 다시 생각해보면 아직 실력이 부족함 근데 시간은 다가왔고
-
모두 군밤
-
메인을 가려면 저런 글을 써야 하는군! 오리비 다음은 누구로 하지?
-
미칠것같아 4
원래 안그랬는데 노래 계속 듣다보면 수능날 국어나 탐구 시간에 노래 하이라이트...
-
풀어낼줄 알았는데 그냥 똑같음
-
언미생지9평 12152 -> 수능 12122 ㄱㄴ? 4
하ㅅㅂㅋㅋㅋㅋ
-
본인 도시락 3
미역국-비엔나 소세지-우엉-계란찜 생초콜릿이랑 양갱도 가져갈 예정
-
내 말만 믿으셈 저 답 적고 틀리면 배상해줌
-
1.등차수열 개같은거 나오면 던짐/점화식 23학년도보다 어렵게 나오면 던짐...
-
여자 후배분이랑 같이 집에 들어오셨는데 제가 오늘 원래 할머니 댁에서 자기로...
-
N수의 효율이 배가 됨
-
둘다 풀어보신분들 둘 중에 머가 더 어렵나요? 멘탈 생각할겸 더 쉬운 거를 수요일에...
-
컴팩트 안듣고 원팩트만 듣는건 무리인가요? 근대부터는 거의 노베입니다
-
이게 왜 안풀릴까요..ㅜ
-
연습) 1-3번 아동의 독서와 심리 성장 발달 모형 뭐냐? 1
왜 사회과학 지문이 있냐?
-
-
괜찮아 0
잘 될거야
-
취침이 12
불 좀 꺼줄래
-
걍 먹고싶은거 먹어요 다들.. 생각보다 뭘먹든 별차이없음 오히려 안먹던 죽같은거...
-
수학22번은 당연히 15
아시죠?
-
안그러면 창문깨는 쇼 보여드림
-
무서운 사실 평가원은 예비 문항때는 독서론을 낸다고 하지 않았다
-
만덕 열분 드려요 19
나눔 ㅎ
-
매질 5개 굴절률 대소관계 찾기 뭐냐?
-
물론 메디컬로스쿨티오는 뱉는다는 전제하에 격리가필요한거같음하는짓보면
-
팩트는 10
니들은 11월 14일 저녁에 웃을 거란 거임
-
아 근데 언매랑 연계공부해야하는데
-
3D로 본다!
-
왜냐고? 여기 여붕이가 어딨는데? 남자는 여대 못 가
-
그리고 감각적 직관으로 국어연계 예측공부 할거임
-
딱 스러너 파이널 1-4 한 개 남았는데 스러너라 좀 무서움
-
초심으로. 6
-
생윤 홉스 3
홉스도 자연상태에서 자연권을 평등히 가진다고 하는데 소유권 개념이랑 완전 다른거죠?
첫번째 댓글의 주인공이 되어보세요.