공리를 부정해도 무모순임을 이용
게시글 주소: https://orbi.kr/00069261109
1. 공리는 참이라는 증명이없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정해도 무모순
논리학의 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
이 3대 공리를 부정해도 무모순
무모순이라는것은 논리적으로 가능함을 의미함
따라서
A=/=A 도 무모순이고
p and not p 도 무모순이라는 말임
p and not p가 참이라는건
명제와 명제의 부정이 둘다참이라는거고
이는 모든명제가 참이라는결론이 나옴
그런데 공리를 부정해도 무모순이라고 했으니
모든명제가 참이라는건 무모순임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그래도 비추인가
-
화요일에 18
큰 이벤트가 있을 예정
-
흠 8
일단 10월 되기전까진 오르비 안 들어와야지
-
단 a는 1~6 b,c는 1~5 d,e는 1~4 뭔가요 ㅜㅜ
-
엄연히 화작 공부중
-
사탐러들아 제발 2
제발 과탐 표점/컷 박살났다고 조롱 좀 하지마라..제발.. 특히 진성 문과 말고...
-
낮은 1에서 높은 2 사이 강의는 따로 안보고 실모랑 병행할 예정입니다 오리온 n제...
-
지문은 ㅈㄴ 잘 읽었는데 문제 보자마자 ? 뜨는데 이거
-
수학 실모 1
진짜 간당간당하게 3등급 나오는데 기출 다시 하고 있고, 기출 끝나면 김기현 싱커...
-
시대북스 질문 0
19일에 주문한거 배송상태가 그대론데 어쩌지
-
준킬러 벅벅 거의 두달동안 미친듯이 달리니까 이제 준킬러들 볼때 그냥 찹찹찹찹...
첫번째 댓글의 주인공이 되어보세요.