이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
수리논술 반수 2
올해 홍대 가고 반수로 연대논술 써보려하는데 가능성이 많이 낮나요? 25수능 백분위...
-
수험생키우기 4
존잘남 ㅁㅌㅊ??
-
시도해주신 모든 분들에게 감사를 표합니다. 밑에 해설 보시고 이해가 안되는 부분은...
-
국어 화작 백분위 88 수학 확톧 88 영어 2 생윤 90 윤사 90 이정도되면...
-
기하 특 해설 아무도 안올려줌 (가) 조건에서 P,Q,R은 각각 D,E,F를...
-
ㄱㄱ 내일 써드릴게요
-
이런 메타 짱 재밌자나 새벽반 분들 고마워여!!
-
한 번 써봄
-
ㄹㅇ
-
공부에 대한 마음가짐 18
동기에 따라, 환경에 따라 사람마다 공부에 임하는 자세는 다를 거임 난 공부에 있어...
-
오야스미 0
네루!
-
수학 문항공모 6
대성,시대,현우진t 문항공모 이외에 다른 곳도 문항공모 받는 곳이 있나요?...
-
밥먹으러가는중 0
편의점말규 ㅗ갈곳없네
-
181130 가 3
f(x)가 미분 불가능하니까 g(t) 식을 부분적분해서 구하려는 시도 자체가 틀린건가?
-
흠...
-
인문/철학 4
경제/법/사회 과학/기술
-
맞음? 언제 나오려나
-
둘 다 만점 받는 난이도나 공부량은 베슷하다는 걸 그래서 생2 간다
-
그냥 모르면 틀리면 되고 알면 맞추면 되는거 아닌가…? 기술같은게 딱히 뭐 필요한...
-
피부 씹같네 4
죽어야지
-
학원도 다니는데 지금 수1,2 마플 수기총하는데 너무 어렵고 문제풀이만 하는...
-
국어 이 지문은 존나 쉬웠고 이 지문 존나 어려웠다 있음? 2
참고 좀 하게 알려다오..
-
어렵다... 7
걍 문제를 풀지를 못하겠다ㅡ. 요청한사람 딱대 아 근데 꼭 풀고말거임
-
키작은거 체감된 단점은 연예인공연보러갔을때 뿐이었음 2
최애돌 대학축제해서 갔는데 나름 앞쪽이었는데도 사람들 대가리만 보여서 앞자리사람이...
-
늦기전에... 응..
-
오르비 안녕히주무세요 17
담에 봐요 응응
-
??
-
메타 고능하네 2
뭐임뇨
-
레어구매완 0
동대생의 연막작전
-
풀어보든가
-
버거킹 닫은거같은ㄴ데 11
아
-
먼진 몰라도 수1임.미적할수도 잇음
-
배고파졋다 0
밥묵자
-
개정을 ㅈㄴ많이 하는거부터가 약간 작년책으로는 작년수능을 대비할수없었읍니다...
-
오늘 새벽에 써봐야겟다
-
우웅
-
지금 메인간 글들이 뭐 보기 싫다거나 꼽다는건 아닌데 그렇다고 메인가려는 목적이...
-
슬슬 졸리네여 8
오늘 같이 논분들 재밌었고 내일도 재밌게 놉시다 전 잘때까지 폰하다 쓰러질게요
-
궁금합니다
-
ㅇㅇ
-
1. 극단적인 경우 생각해보기 문제에 대해 파악하고 싶을 때 극단적인 경우를 먼저...
-
ㅇㅇ
-
여기 방음 잘 안되는데 방구를 내가 개만이뀜..
-
릴스넘기다보면 09 헬창 인증 막 이런거 뜨는데 말도 안더ㅣ게 몸이 좋길래 댓글창...
-
내일 달아야겟다..
-
밥도 미루고 인증도 미루고 공스타 공개도 미루고 뭐 그냥 다미룸 말투도 ㄹㅇ 비호감 노잼임
-
대중적으로 가장 유명한 퍼즐 중 하나인 루빅스 큐브는 꽤 복잡한 퍼즐이다. 면의...
-
레어 사세요 6
다양한 고양이레어 다양한 국기레어 다양한 서브컬쳐레어 다양한 사치품레어들이 있어요
-
찍기특강 좀 치는데
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.