진지하게 이거 맞는말 아님?
게시글 주소: https://orbi.kr/00071387807
공리는 참이라는 증명이 없다
이말은 귀류법 증명이 없다는 말
이말은 공리를 부정하면 무모순
이말은 공리가 거짓이면 무모순
전제가 참이면 결론이 참이다
결론이 거짓이면 전제가 거짓이다
공리는 전제에 속한다
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면 공리가 거짓
공리가 거짓이면 무모순
즉
결론을 부정하면 무모순
예제) 1+1=2라는 결론을 부정해도 무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
나도 여친 사귀고 싶다 0 0
-
맹구랑 닭집 망했나 0 0
강등될락말락 ㅋㅋ
-
공대갈때 2 0
물리공부 할껀데 뭐로할까요? 내신+현역수능때 물리선택해서 노베이스는 아닙니다
-
알파메일 되고싶다 0 0
죄다 평균에 걸쳐있어
-
아직 수시도 안끝났는데 너무 멀리 생각하는 걸까요 이번년도가 거의 마지막 기회라 부담이 심하네요;
-
22년 초의 저를 아시는분은 진짜 거의 없을듯요 15 1
근데 그때 프사 아는분은 조금 있더라구요 그러므로 그때 프사이자 제 첫 프사 댓글로...
-
시대 라이브 0 0
엄소연쌤 공통 들을려하는데 라이브 듣고 따로 인강커리도 같이 타야하나요?
-
첫인상 써주세요 31 0
-
뉴런vs시발점 0 0
이번수능 15 20 21틀렸는데 뉴런2025를듣고 2026을 들을까요 아니면...
-
치뱃은 달고 싶어서 19 2
다군에 쓸까 생각했었음 왜 뭐.
-
팔로잉 목록 봤는디 12 2
왜 1빠따가 정벽이었을까 아마 수능 성적 궁금해서 팔로우 했던 거 같은데
-
진짜 레전드 앰생이어도 안할거 같은데 저건 ㅋㅋ
-
수학 공통 공부 0 0
시대에서 송준혁쌤 공통 듣는데 잘안맞는거같아요,, 근데 그만두면 공통공부 더...
-
댓글달면아무말이나달아드려요 39 0
많관부










님이 논리체계라는 개념을 잘못알고있는거임
어떤 논리체계 안에서 공리를 세우고 그 공리를 기반으로 서로 의쌰의쌰 보완해주면서 쌓아나가는 게 논리체계임
공리를 부정하는 거 자체가 해당공리를 공리로 하는 논리체계를 벗어나는 거고 님이 말했듯이 공리를 증명하는 명제는 없으니 공리의 부정이 기존의 논리체계에서 벗어나더라도 그걸로 다른 논리체계를 쌓아나갈 수 있으면 의미가 있는 거임
기하학에서 유클리드와 비유클리드가 그 예시임