공리를 부정해도 무모순임을 이용
게시글 주소: 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를 선물하세요.
-
TMI) 과자 질량에 5를 곱하면 대략적인 칼로리다. 3
60g짜리 과자면 대강 300kcal쯤 나온다는거죠. 사실 어찌보면 당연한게...
-
9덮 사문 6
ㅋㅋ̤̫ㅋ̤̮ㅋ̤̻ 윤성훈쌤 파이널 적중예감 현강 듣는데.. ㅋ̤̫ㅋ̤̮ㅋ̤̻...
-
영단어 외우다가 알게됨 ㅋㅋㅋ 진짜 ㅈㄴ 무식하네
-
생명과학 질문 1
C가 체성신경인가요 자율신경인가요?
-
ㅈㄱㄴ
-
괜히 설레이잖아 그대를 훔쳐보는 나를 눈치 채 줄래요 Hey Man 무슨 남자가...
-
좋은 아침이에요 3
-
다시 자서 지금 일어남…
-
국어 73점 수학 68점 탐구 동아시아사 22점(나한텐 역대급으로 개 어려웠음) 지구과학 34점
-
대치역이 텅텅이네 다들 이제 안오는건가..?
-
화기생지 81 80 34 39
-
작년에 인강만 들으면서 진도를 급하게 쫓다가 6,9에서는 잘 나오다가 수능때 크게...
-
어떤가요? 시즌1은 무난한거 같은데 시즌 6까지 달릴까 고민 되긴하네요
-
2등급 서킷 3
서킷 70분 잡고 풀고 30번 한문제 못푸는 정도면 안정 2 가능인가요??
-
이미지 적어드립니다 107
첫번째 댓글의 주인공이 되어보세요.