모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://app.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를 선물하세요.
-
모든것이 존재하는 원인은 모든것이 존재하기 전에 있어야한다 그런데 모든것이 존재하기...
-
앉아있음
-
9평 실제컷 미적 93일듯 ㅋㅋ …
-
거울속에는소리가없소저렇게까지조용한세상은참없을것이오거울속에도내게귀가있소내말을못알아듣는딱...
-
집가다 타닥타닥 하다가 퍽!! 소리나길래 개놀랬는데.. 뛰다가 어디서 떨어진 너구리였음..
-
지금 그냥 예비시행? 모의고사? 그 느낌 본 퍼레이드는 10/12에 있음
-
확통인데 서바나 강k 최근회차보다 어렵네
-
[2등급을원하신다면]두지문 버리고 9덮 언매 83점+국일만은 진짜 신입니다 여러분 1
안녕하세요 전 오늘 9더프를 본 인하대 자전출신 삼반수생인데용 제목과 같이 과기...
-
샤워 완료 2
샤워하기 전에 아까 2일 동안 안 씻어서 냄새 존나 났었는데 ㅎㅎ
-
작년에 수시로 성대 가고 올해 반수하는데 9덮 어떻게 본 편인가요? 주변에 비교군이...
-
빅뱅전에는 시공간이 없다고 함 그렇다면 빅뱅의 원인은 시공간상에 있는게 아닌게됨
-
창문 열고 선풍기 틀어놓은 다음 이불 싸매고 자기
-
생각보다 들쑥날쑥이네
-
일욜날 토익이고 0
22살에 20살 11월에 본 수능이 마지막 영어공부임 이번주부터 벼락치긴데 수욜...
-
안에 먼지때매 충전이안되네
-
덕코 대리투자 0
복권투자 해드립니다 대리로 당첨되시면 수익금의 10프로만 주시면 됩니다...
-
소아온
-
9덮수학 2
9모 88 9덮 58 50일도안남았는데 이제 어떡함??
-
'대통령'의 힘을 쓰면 대학생들이 반수를 하지 못하게 하는 것도 가능할까? 2
이 이상 '반수'를 하지 않으면... 10년 정도 지나면 확실히 이 세상에서...
-
ㅋㅋㅋㅋㅋ 이거 말됨? 사실 수능 D-48 기념으로 노린거임..ㅇㅇ
-
학교 빌려서 이것때문에 수학 컷 올라갈듯 ㅋㅋ ㅋ ㅋ
-
. 1
-
아축구하고싶다 0
고등학교 끝나면 잘 하지도 못할텐데 고3때 못하는게 너무 슬픔
-
호달달
-
현우진 6모 대비 킬캠 지금 풀어도 괜찮을까요 ?? 0
사놓고 다른 거 한다고 못 풀었는데 지금 풀기엔 좀 그런가요 ??
-
지난 수십억년의 진화 결과물들이 대체로 공부를 싫어하고있다 그 진화과정에서도 학습은...
-
힣히 오줌발싸~ 4
쉬여ㄱ저 마려워료 히히 평가원장 오줌밞사
-
아니 인스타 보니까 이미 20회 넘게 있는데 현강 내가 걸었더니 17회가 시작이네
-
이건 에바다 졸면서 풀고 단순계산 탁탁막히고 멍때리고 환장하네 걍 3점짜리만 풀고...
-
난이도 어떰
-
닉네임 바꿀까요 10
새롭게
-
이감 마지막 회차 6-10은 오프라인으로만 살 수 있나요??
-
슈뢰딩거의 성별 5
탈부착식 기구를 사용해 언제든 성별이 변할 수 있습니다 지금은 여르비입니다
-
이 씨발새끼 잘 하는 법좀 진짜 개시발 좆같네
-
언매 83 미적 69 생명 48 지구39 전채적으로 어느정도 나올까여 특히 수학...
-
제가 강k 이미 뽑아서 20회까지 풀었는데 현강가면 당연히 더 뒤 회차 할 줄...
-
그냥 8
-
실모 미적 정규반 라이브 고민중인데 수업하는 서바 회차는 쌤마다 다른가요?
-
막전위 전도는 그냥 출제자가 미친놈이 아니길 빌어야함 5
그냥 0.4 0.8 이런거겠지 믿고 대입하는게 맞는거 같음
-
만약 제가 공스타하면 24
구경할 사람,,? 있나,,?
-
고개를 젖히다 2309처럼 성분분석 시키면 오답률 터질 수도 (아닌가?)
-
다시 돌아와따 9
-
6모 인문-3 현대시-5 언어-7 9모 현대시 -4 언어 -3 너무나도 약점이...
-
3일동안 10시간 공부한 나따위가 놀러가도 괜찮을걸까
-
버스 타면 맨날 듣는 그 광고 알면 개추
-
동생아 여긴 망했어... 나이 서른 다되어가는데 동생입시때문에 오르비에 다시...
-
재종 수업시간은 합법적인 수면시간이었지..
-
어떻게 저런 생각을 하면서 살까...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.