이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
일단 전 본적이 없는거같아요
-
정시가 좋은게 18
초중딩때 인생 좃대로 살아서 고딩내신 꼴아박아도 모고 계속 못 봐도 수능만 잘 보면...
-
과탐 서바 손 안대고 풀기 배틀 수학 서바 빨리 풀고 다 푼 티 내기 배틀 6단...
-
저녁여캐투척 17
음역시귀엽군
-
해도되나요 하…
-
해외주식 궁금한점 16
1주단위로 사는거라 테슬라는 59만 단위로 살수있는거죠 토스로그냥 시장가로 사면...
-
꼭 상위과 아니여도 한 중간과정도만 되도 개애매함…
-
열심히 했구나 vs 레전드 고능아 굳이 하나를 고르자면 뭐가 더 기분 좋나요
-
수시는 안정적인데 정시는 극도로 불안정하네 한 문제 더 맞히면 대학이 바뀌는 게...
-
돈 겨우 빌려서 중고구매에 성공했다는거임 이제 나에게 오는거다
-
정시 = 개별주,코인 12
수시 = 지수추종 이거인듯
-
그냥 판매글로 올려요?
-
이게맞냐 ㅋㅋ 12
고댄데 658~651 -텅-
-
집가서 밥먹기 11
그냥 집 가면 다시 안 올 걸 알기에 시간제인데 퇴실 안 하고 간다.
-
원서영역에 100프로는 걍 없음 뭐 이건 당연히 다들 알고있겠지만… 컨설팅 받는다고...
-
ㅇㅇ
-
미적 수특 나왔나보네 12
학원학생이 지금 자이스토리 기출중인데 이거 뭐 어떻게 해야하지
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.