이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 나만 학교에 아는사람 없네 0 0
학교가기 싫다 빨리 다 비대면으로 ㄱ
-
지구 38점이면 0 0
1,9,11,13,16인가 틀려서 38점인데 2컷 가능하겠죠?
-
그냥 뭔가 좌표잡는게 나을거 같은데? -> 무지성 좌표 on 전에 250612도...
-
뭐가 더 간자나나요 헬스터디 미적 80 사문 김범준 이미지 아수라 김승리 앱스키마...
-
미적분 정답률 3사 평균으로 보니까 14 7
3사 평균 : 이투스, 메가스터디, 대성마이맥 정답률 평균 1컷 84는 나올만 한...
-
근데 6모 9모 15번 확실한거잇음 12 2
난 둘다 24수능 14보다 어렵다느낌
-
제발 가채점 입력안한 허수들아 호머식으로 입력한 망상충들아 힘내줘
-
사문 20보다 15가 어려웠죠? 14 0
도표 15는 당연히 맞은줄알았는데 오히려 20을 맞았네요 20은 걍 전형적인...
-
9모 서울대 9 1
화작 88 확통 96 영어 2 사문45 정법 50 한문5 서울대 될까요?
-
ㅆㅂ 우진이형? 13 1
6모는 미적 3문제 다풀었는데 9모는.... 근데 6>>9라고?????
-
물독서 불문학 맘에들어
-
수능까지 2가볼려 합니다.. 미적 3모 69 5모 56 6모 66 7모 62 9모...
-
윤사 ㅅㅂ개어렵네 0 0
때려칠까.. 그래도 사놓은 교재는 다 풀어볼까
-
나:"고2 9모 너무 사설틱해...." 발언... 0 5
옆자리 실수 친구"문제 평가질하지 마라 니가 실모단이냐" 일침... 뒷자리...
-
영어 듣기 3개 틀렸구나 0 0
9점 ㅋㅋ 다맞았음 75였네 그것도 잘본건 아니다만...
-
다들자나보네 5 1
하긴 9모보느라 피곤했겠지
-
전우치 보면 으쌰으쌰 노래 떠올라서 나오면 안됨
-
9평 대학라인 추천 좀 6 0
영어 1로 올린다 치면 어디까지 쓸 수 있는 성적임? (p.s 중국어는 많이 어렵군요)
-
미적 과탐런 7개월차 9평 결과 떳냐 12 0
작수6평 9평 믿었던 지구가 나를 배신을... 서바 좀 잘나온다고 나댄게 잘못인가...
-
계산 실수를 9모때 미리 했다고 17 3
생각이라도 하자.... 수능때 맞추면.... 하...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.