이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
다들 감기 조심하세요
-
왜클릭
-
4월에 산 라면 5개입 한 봉지 며칠 전에 겨우 처리함 진짜 잘 안 먹는듯
-
이투스 살려주려 한건가…
-
왜그런거임? 방금 머리털었더니 우수수 떨어짐
-
폭동 일어날듯…
-
현역 수능 국수 21이 뜬 건에 대하여 이래도 정말 재능이란 게 없나요 물론 이...
-
고3 기숙사 살 때 아무도 터치를 안 하니까 밤새 오르비 유튜브 게임 반복했음 이게...
-
정시 요강보면 가군 발표를 연영과같은 예체능하고 같이합니다. 근데 가군 실기가...
-
올해는 논술 아예 안 볼 생각인데 수업은 필수라고 들어서 그냥 맨 뒷자리에서...
-
흐흐흐흐흐흐흐흐흐흐흐흐흐흐흐흐흐ㅡㅎ흐흐ㅡ
-
-
언매랑 화작은 각자 장단점이 있어서 중상~상 난도에 표점까지 별로 차이가 안 나는...
-
민우씨 회당 출연료 5000만원 주사면 나가 드릴게요 ㅋㅋ
-
난 어렸을 때 4
명문대생들이 키배 뜨고 커뮤한다는 게 말이 안 된다고 생각했어요 배울 만큼 배운...
-
미기확 2
3도류 드가자
-
생각보다 잘해주시네.. 만족스러워요
-
화통사탐으로 연높공 합격하는 점수가 어느정도 일지 궁금함
-
신종 플러팅 2
내일 써본다
-
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.