진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
미스테리의 친구임 초등학교때 칼부림소동 일으켰어서 왕따..?당한다는데 가끔 말을...
-
검색창에 안 뜨게는 해줘야지 이 망할 것들
-
1. 연세대 의예과 2. 서울시립대 국사학과 3. 인하대 국어국문학과 4. 마산대...
-
개 뻘글 5만배 8
감당 가능?
-
-
-
수학n제
-
자료 올라오는거봐라 ㅉㅉ
-
이해하면 소름돋는 사진 11
ㆍ
-
띵곡
-
점심시간이나 저녁시간에 맨날 가서 산책했음
-
시이나 마시로
-
이번 달은 결제 안했는데 전역하니까 할게 없네 자기계발같은 건실한건 못하겠음 걍 이세계 보내줘
-
비행기 기장 0
전망 어떻게 보시나요? 억대 연봉 받는 숨겨진 직업 같은디요 앞으로 ai가 대체하게...
-
아.
-
다들 내신 물리1 1학기 중간/기말 시험범위 어디까지셨나요? 5
다들 경험 한번씩만 적어주세요!
-
사탐런 9
목표는 서성한중경인데 국영수에 비중을 두고싶어서 사탐런할거임 사문은 고정이고 나머지...
-
ㅈㄴ비싸네 근데 여기서 콘돔사면 쪽팔릴듯..
-
아ㅅㅂ 6
피방 화장실에서 오바이트 했다
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임