모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://test.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를 선물하세요.
-
다양한 가능성을 대비하기보단 요즘 경향에 맞는거 추천좀 해주세요 경향에 맞는다는것은...
-
강의 집중해야 하는데 걍 얼굴만 봐도 빡침
-
너무 허수책 이미지가 강함 특히 사이즈가 평범한 교재 사이즈가 아니라 책 같은...
-
보면 볼수록 현타만 그득해지네
-
학원에서 이제 나왔는데 아침이랑 같은 계절인거 맞음? 반팔 반바지에 맨발 슬리펀데...
-
배성민쌤 파이널이 너무 싸서 바로 지르고 호감되어버림
-
+ 수1 드릴5 50프로
-
요새 학원 가서 시간을 알차게 쓴다기보다는 마치는 시간을 기다린다는 느낌이 더 강한...
-
노총각 형에게 러시아여자 이뻐서 장난삼아 여자 어떠냐고 물어보니 너무 진지하게 본인...
-
2등급 간당하게 띄우는 실력이고 아직 영어 기출을 안풀었습니다. 지금까지 영어...
-
뭔 이딴 ㅂㅅ같은 프로그램을 만들 생각을 하지…??
-
ㅠㅠ 추워
-
저는 잘한다는축에 있기 애매한 사람인데 공부할 때 한 선지 한 선지 한 지문 싹 다...
-
학원 원장님이 넌 어차피 최저니까 오후 6시에 그냥 가라는디 헬스나 과외할까요ㅠㅠ...
-
메가스터디 교재 새책or거의 새책 반값에 판매합니다 5
개씹허수라 거의 다 새책이고 조금 사용한 책 마저도 거의 5페이지밖에 흔적이...
-
수학 실모 3
강대X, 서킷X, 킬캠 제외하고 좋은 실모 추천좀 부탁드려요 난이도 높은거 원해요
-
빡모 좋다해서 풀어봤는데 계속 80초 뜹니다 어느정도 난이도에요? (시즌1)
-
아니 이거 인물관계 왤케 복잡하냐거 아오 아오
-
:)
-
오개념은 아닌거 같은데 도표부분은 해설할때 그부분 빼고 설명한거고 악성 민원인 지위...
-
설대 정시랑 성대 수시 최저밖에 없나 인문대 입시에 제2외 반영하는 학교 또 있나...
-
개인적으로 엄청 잘 들었던 입장으로써 오개념이 사실이라면 하셨던 말대로라면 은퇴를...
-
시발 이게대체뭐임???
-
이번 언매 예상 4
평가원이 24수능 고전 문법처럼 ㅈㄴ 통수치기 좋은거 1. 로마자 표기법 2. 상대...
-
수능 영어 4등급만 맞으면 되는데 남은 기간 어떻게 공부하는게 좋을까요? 지금...
-
은퇴 드립 뭐임
-
서강대가 나왔다
-
화1 서바 1
요즘 나만 쉽다고 느끼는거 아니지…? 풀고 왜 시간이 남냐 서바답지 않게
-
풀어주실건가요...
-
어떤 게 있을까용? 아직 수특 수완 펴보지 않았습니다앗 꾸벅
-
현재 2, 3점 기출만 1회독 했고 실전개념, 4점기출, n제, 실모는 경험이...
-
사문 제일 잘 가르치는 강사였던 거 팩트 맞고 나도 이지영 임정환 손고운 최적 등...
-
님들 그래서 수능 3주전부터 국어 실모 몇개풀어야됨 1
메인에 저렇게 논란이있으니 궁금하군
-
지구과학 ox 4
E의 지층은 제4기에 퇴적되었다
-
1. 공리는 참이라는 증명이 없다 2. 따라서 귀류법 증명도 없다 3. 따라서...
-
강대k 플러스 0
온오프 따로나옴?
-
감사합니다 신창섭 작은 돈이지만 플래티넘 애플로 보답하겠습니다. 리선족 때려주시는 신창섭
-
이미 무단 많고 1학기 내신도 한줄로 찍고 자서 무단결석 자체는 문제될게 없는데...
-
기하황 없나요 0
이해원n제 7번 질문좀 받아주세연.. 선분OH가 최대가 되려면 H가 점P가 되는게...
-
중고장터에 실모 진짜 개비싸게 파네... 3년전꺼 실모 스무개가 45만원 올해 서바...
-
11명 중 나 포함 2명만 솔로네 쩝 또 한명의 친구를 잃었구나..
-
체감난도 올라가면 3점 존나 틀리는데 안틀림:) 완전럭키하넹
-
두 번 들으세요 아니 세 번 네 번 계속 들으세요
-
외대 자퇴 0
차선책으로 온 사범 대학인데 적응을 몇 년째 못하고 있습니다. 이대로 허송세월...
-
난 서울대에 갈 인재다 11
사실 계속 숭실대 나오길래 서울대 나올때 까지 돌림 ㅋㅋ
-
여러분의 방식이 보고 싶습니다!
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요