진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
걍 놀리고 싶음 울때까지
-
복싱부터 배워야지
-
군수 기균 질문 2
군수에 대해 질문이 있습니다. 지금 복무중인 군인인데요 , 제가 원래는...
-
뇌 좀 빌려다오..
-
어릴때부터 책을 안읽어서 글을 잘 못읽는데 검터덩 고2 독서로 감 잡아보는거 어떻게...
-
대놓고 호감 말고 보다보니 호감 닉언은 금지니까 비밀임
-
나를 넘 고평가하네
-
https://orbi.kr/00072166117/%EC%A0%9C-3%EB%AA%A...
-
그냥 장난으로 당시 램쥐썬더 레어 뺏은거 뿐인데.. 다시 안가져갔어..
-
꽃잎이 번지면 2
당신께도 새로운 봄이 오겠죠 시간이 걸려도 그대 반드시 행복해지세요
-
이런사람을 보고 천재라고 하는거겠죠
-
밤샘이지뭐 게임오바
-
아잠만이랑 야부키인지 이부키인지..
-
뭐가 더 레어함?
-
컨텐트관리자님 레어 환불 시스템은 언제쯤??
-
요즘 수면패턴 4
없음 패턴이 없는 여자 패없녀
-
나도 자야겠다 3
새터를 위한 옷을 사기위해서 일찍 자야함뇨
-
요즘생활->새벽4시에 자고 다음날 오후 2시에 깸 살려줘요
-
까불지않겠습니더
-
연대가 이름이 예쁨 뭔소리나면 연전전 고전전 연기계 고기계 연경 고경 연의. 고의...
-
3점대도 공부한 거라네요..
-
D-263 2
영어단어 영단어장-40단어/40단어 복습 수특영단어-2강 수특영단어 암기를 시작했다...
-
이나경이 좋다 5
너무 예쁘다
-
진정한 오타쿠는 2
보컬로이드를 파는거임
-
N티켓 시즌1 끝나면 둘중 뭐가 더 좋을까요? 4의규칙 평이 좋아서 해보려고합니다.
-
애니는 딱히 보지 않지만 비스크돌이나 최애의아이같이 예쁜 거있으면 피규어도 사고...
-
흔한 성에 희귀한 이름 조합이 굉장히 이상적이라 생각함
-
삼각함수 0
-
삼반수 2
해볼까 고민중인데 학고반수는 수강신청을 안 하는걸 의미하는건가요? 아니면 하고...
-
빨리 익숙해져서 편안한 오르비 하고싶다
-
맛잇는고 먹을 때 계속 먹고 싶어...
-
메타버스~~ 마블~~
-
갭모에개쩌네ㅠㅠㅠㅠㅠㅠㅠ
-
초반부 오지훈 개념,기출하고 아폴로 주간지 병행 중반부 시즌2부터 이신혁 합류 or...
-
고약은 세종캠에잇던데
-
고1때 수2까지 한바퀴 돌린 이후로 손도 안댐 작수 확통 5등급 나왔고 올해는 3이...
-
제가 항상 사랑하고 응원해여~~!!
-
이거 괜히 했네 1
내가ㅜ너무 착해서 시비걸 껀덕지가 없어
-
아실 거라고 생각해용! 맨날 거북목에 욕을 달고사는 김승리가 용용채 쓰는거보니까...
-
근데 2
아이돌 중에 유독 얼굴을 잘 기억하는 사람이 있고 유독 잘 기억 못 하는 사람이...
-
ㄹㅇ임
-
수잘싶 1
수능 잘하소 싶 잠
-
전 기셀수가 없음 12
기下이기때문~...
-
댓글달면 시비걸어드림 34
ㅋㅋ
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임