이건어떰
게시글 주소: https://h.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅇ?
-
경영경제 해볼만한 성적이었음?
-
핵빵은없는듯
-
1. 정시 가, 나, 다군 폐지 2. 정시, 수시 없애고 다같이 승부봄 3. 전국...
-
하재호 고심리 성적 만들어줬잖아
-
(˃̣̣̣̣̣̣︿˂̣̣̣̣̣̣ )
-
??
-
530이 고대 합격하면 이거야말로 적폐 전형이지ㅋㅋㅋ
-
교대에서 반수해서 한의대에 다니고 있지만 한의대를 계속 다녀야 할지 고민입니다....
-
성균 경영이랑 둘 중에 뭘 선택할 지 모르지만 일단 중앙대 경영은 빠지겠습니다!...
-
경희대학교 수학과에서 25학번 아기사자를 찾습니다! 7
안녕하세요. 제 20대 경희대학교 수학과 학생회 '휴게소' 입니다! 먼저 경희대학교...
-
2칸최초합 뭐노
-
가나다군 <<이새끼때문 이새끼때문에 누군 성적 잘받고 3떨하고 누군 누군...
-
너x 무x 몰xx 묻xx
-
미친 짓임? 지금 연고대 계약이랑 이대 약대 둘 다 붙을 것 같은데 본인은 1....
-
이거보고 닉변했다
-
인서울은 고사하고 인 경기이긴 함.. ? 누백 34~35퍼 나오는거 같은데
-
시즌2때 들어가도 시즌1 영상 살 수 있나요?
-
ㅇㅓㄹㅂㅓㄱㅣ 7
-
손나코토토오니와캇테탄다에루마키미난다요
-
안녕하세요. 경희대학교 경영대학 빅데이터응용학과 학생회 ONLY입니다❗️ 우선...
-
사탐런 막차ㄷㄷ
-
컨설턴트해야지 자격 없는 애들 말고
-
떴으니까 올리지
-
감사합니다. 혹시 뱃지 어떻게 받는지 아시는분..?
-
아 지2 천구 돌리면서 내 뇌도 같이 굴러가는 느낌이네 3
내 생각엔 아무리 봐도 지구는 평평한데 이걸 왜 해야하지
-
말이안되네
-
빠지시는 분 없나요ㅜㅠ 예비번호 앞번혼데
-
사국 예체능 전형 다 끝났잖아농어촌 기균도 서류검토 끝났잖아
-
정리 해주실분 있나요
-
추천좀요
-
심리학과에 부합하는 인재인데
-
고심리 530 ㅋㅋㅋㅋ 명목만 대학 공부를 할 수 있는지고 사실상 대학합격운빨눈치시험
-
530안붙어도 이미 고심리는 역사에 남을 핵빵임
-
정시도 수능최저 도입해야됨ㅇㅇ
-
아니어떻게 한개도 나온데가없어 동국대 홍대 숙대
-
하남자같이 점수 잘 받아서 지원하는 것보다 530 고심리가 인생 성공할 가능성이...
-
여기에 누가 미인증 표본 5개 넘게 뿌려놨었는데
-
시발점 회독 2
가볍게 개념이나 틀린문제 흝어보는건지 아니면 완강하고 처음부터 다시하는건지...
-
상위권을 안 받겠다. 올해 이 사단은 이로 인해 문과 상위권 자체가 없었기 때문이라...
-
뭐 풀어야되나요 기출 먼저 풀려고 하는데 어떤 문제집을 풀어야될지 모르겠어요
-
심리전 잘한거잖아
-
빵꾸는 맞춰서 내 바로 앞 사람들 까진 축제인데 그 축제 입구까지 길 잘 찾아가고...
-
수능점수가 어느정도인거임?
-
만약 고심리 저거 붙으면 17연심리보다 더심한거인듯 1
진짜 설마붙겠냐
-
기균도 되나요?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.