이건어떰
게시글 주소: https://i9.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이건 좀 혹하는데
-
아무래도 문과 학교니까 이과애들은 별 관심 없을 것 같은데…
-
나의 이미지는? 9
써주세요
-
진심 트라우마 ㅜㅜ
-
부자가 된 기분
-
선착 1 10000 덕
-
이미지메타 편승 8
이사랑노래가싫어~다신안부르리~~~
-
부모님 피셜 졸업생중에 ceo도 많고 하다보니깐 동문회만 해도 기부받아서 돈이 엄청 많대요
-
예전에 한 고1쯤 부모님이 주셔서 맥주 큰거 한캔 마시고 그대로 만취해서 구토를...
-
잠은 안 오네요
-
학기중에는 바빠서 독서를 많이 못했네요..
-
확통 재밌는데 10
진입장벽도 거의 없고 개념이랄 것도 없고 발문 따라 케이스분류만 하면 되어서...
-
???☠️☠️??????????????? 간절 간절 간절 제발 제발 제ㅂ발
-
68 95 99.7 10
보통 신뢰구간 구할 때는 a=0.05를 쓰죠 점공에서는 예측 구간이라고도 합니다
-
시대인재 모의반 7
모의반이 7월에 수강신청을 시작한다는데 그럼 전부터 다니고있더라도 수강신청 못하면...
-
안써주면 슬플거같아
-
더러운거 질색이에요;; 편의점 바퀴벌레때문에 관둠 쿠팡은 육체적으로 힘들어서 ..
-
22 국어 수학 진짜 불로 나온거 잘보고 오히려 탐구를 망쳐버려서 서울대 그대로...
-
탈릅하고 싶은데 7
오르비 레벨 50이거 ㅈㄴ 아까워서 내적갈등생김
-
쉽구만 ㅋㅋ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.