진지하게 이거 맞는말 아님?
게시글 주소: https://ui.orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
예비 고3 원래 공부 안하다가 고2 기말 쯤 부터 수상수하 부터 꾸준히해서 이번에...
-
이제 다 갓냐 12
나도 가야겟다
-
국어 이제 기출 보는게 의미가 있음..?기출로 대비안되는난이도인데? 리트의시대다...
-
일단 진짜 그때 수고 많으셨어요 진짜...수고 많으셨어요 왜 그러나면 지금 제가...
-
시대기출 1
마플이랑 시대 기출이랑 뭐가 더 나으신가요?
-
ㄹㅇ ㅠㅠ
-
쏘리암어밷보이 0
유얼굿걸
-
내신개복잡하네 0
일단 1학년1학기 입력했는데 4.28나옴 어디까지내려가나 보자구
-
국영수 약해서 방학동안 국영수만 공부하고있는데, 사탐도 시작해야할까 고민됩니다 사문...
-
응애 10
다 자니
-
시경외시외경경시외경외시외시경외경시 오르비언의 모임 정기 모임: 매월 첫번째 금요일...
-
어제꾼꿈 2
재수해서 93 92 1 50 50받는 꿈 껏음.. 예지몽인가 이거
-
항공권, 숙소, 교통(지하철) 등 팁 암거나 던져주실 분 있으실까여...?
-
골치 아프네
-
여자만받아요 뭐요
-
그래야 불안하지 않아요 올해 무조건 될거라고 생각하는편
-
근데 제한 걸려있어서 상방 하방이 보장 안되는 느낌 입결은 높은 편인데 꼬리가 긴편임
-
뜨뜨 내일 군대감.. 11
ㄷㄷ
-
현역연경 무휴반설경 ????????님보다 사문백분위 3높음 물론못떠나는저의압도적패배,
-
투표해주세요(고민) 10
전 검정고시 출신이고 목표는 sky 물리학과 또는 공대입니다. 근데...
-
이거 원점수 95맞나요?
-
나친구가없어 15
ㄹㅇ버려진듯.....졸업식몇신지도모름진짜
-
내일 하겠습니다
-
부모님 심부름으로 마트에갔었음 근데 계란 한판을 샀는데 원래 30개가있어야하잖음...
-
술먹는거?
-
강제서렌 머야 1
아오 친구 잘못 골랏어
-
2.5불렀는데 의대생인데 너무낮은거아니냐고 물어보고 일단 1달해보고 과외비 올리든가...
-
매일 공통으로 아침 8시까지 관리형독서실 입실 국어 1시간 30분 강은양 문학...
-
국일만 1
예비 고2 정시파이터입니다. 고3 모고 기준으로 3등급이 뜨는데 국일만 기본편으로...
-
-
나모르게 손절당한듯 ㅠㅠ 이제 오르비밖에 없다
-
시대가면뭔가있나 1
Myfriend시대가고신봉하는중임
-
레츠고
-
확통=통통이 1
확통은 신유형 같은거 안나오죠?
-
노베 9수생 연세대학교 합격까지 d-298
-
기하햄 6
기하문제 내주세요 벡터나 공간두형으로..
-
확실히 애니프사 다니까 12
호감도가 올라간거 같네 흐흐
-
설탭 4
설탭 돈좀 벌리나요? 지금 대면과와 두탕 뛰어서 70버는데 거기에 설탭 추가하면...
-
제목이 참 신기하죠? 딥러닝은 최근 유행하는 인공지능의 핵심 과학 기술인데, 여기에...
-
확통 문제 투척 9
두번째건 옛날 수완임
-
이런 느낌의 강의가 있는지 알고싶어요
-
구시발점 완강상태인데…부족한부분이 꽤 있는거같아서 개정시발점으로 한번 더...
-
대학 로고 모음 0
-
며칠 전에 내일 오전 시범과외 잡았는데 오늘 확인차 다시 연락해보니 하루죙일 씹네요...
-
닉변 추천해주세요!! 19
!!!!!!!
-
의미없는글 2
-
알고리즘에 괴짜 과학자처럼 생기신 “김현우”선생님 썰을 봤는데 너무 웃기고 댓글로...
-
메디컬 목표로 성공할때까지 n수 박기
-
내가 다 해줄게 4
따라만 와
-
용각산 돌아와 ㅠㅠㅠ
님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임