이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
누백 35%고 뭐고 수험생 심리를 다 꿰뚫는 천재한테 등록금 전액 면제 정도는 해줘야지
-
지원 안했는데도 그냥 넣기도하는데, 오피셜도 아니고 카더라에 너무 선동 쉽게 당하는듯
-
ㅈㄱㄴ
-
둘다 붙으면 어디감?
-
최초합 18명 중 최소 17등(18등일수도 있음) 까지는 확인 대충 최초합은 690 근처
-
말이 안되긴했다 630대나 640대쯤에 몇명 걸려서 630대 엔딩일듯 그래도 올해...
-
내인생이문제임씨발새끼들아
-
살 만하나요?
-
정상임?
-
원하던 학과는 아니였지만 그래도 붙었으니 좋네요ㅎㅎ
-
끼야아가가각 감사하고 사랑합니다
-
만약 전화추합이 2군데에서 오면 어떻게 되는 거에요? 2
전화추합이 갈 건지 안 갈 건지 물어보는 거잖아요 만약 2지망이 먼저 전화 오고...
-
고심리는 럭키보이고.... 내 위에 미점공 3명있고 저는 예비 1번인데 가능성...
-
근데 다 좋은데 2
서강대는 왜 발표안함? 뒤질래?
-
같은학원 다녔던애 내신 진짜 조온나 낮아서 낮은 지거국 노릴 성적인데...
-
그래도 재밌었다.
-
경희대 지리, 외대 스페인어 중에 어디를 가면 좋을까요? 의견주시면 감사하겠습니다....
-
차슈 라멘 0
9800원 비싸긴하다
-
밥먹으면서 진짜 개재밌게 보고있었는데 물론 여전히 재밌긴하지만 530 아닌거...
-
k대→k대 ㅇㅈ 9
고대로 간다 성대 글경 빠짐 설대붙으면 거길루가여
-
개노잼
-
630점대로 고대 스나넣었는데 내가 붙을 가능세계가 있었다는걸 인정할수없다
-
빵으로 들어온 애는 겸손하게 감사히 학교를 다니지만 정시충<<<<이새끼들은 허구한날...
-
서잡대 일안하나
-
노잼됐어
-
인증같은거 올라옴?
-
수능 백분위로 치면 어느정도길래 난리가 ㅋㅋ
-
예비고3인데 수능 쌤께서말하신 번호 25분컷안나길래 시발점 들으려하거든요 강의...
-
하하
-
고심리 업데이트 25
내가 올린 이후로 아무도 모르니 소문이 자자해진건 있는데 615 붙을수도 666 빠질 수 있는 느낌
-
530이면 뭐 대충 몇등급인거임?
-
경희대 떴냐? 1
23학번 경희대>25학번 경희대 시바알 26학번은 다른 곳 갈래요
-
ㅈㄱㄴ
-
아직도 1시간마다 입학처 3개 새로고침중이면 개추ㅋㅋ 3
발표좀하라고 아.
-
ㄷㄷ.
-
고대 심리 개부럽네 진짜 대학원 가기도 훨 편할텐데 ㅅㅂ 졍신병새끼
-
내가 저번에 건글의 지역인재 가지고 개욕박았을때는 다들 다 두둘겨패더니 왜 고심리...
-
약속의…어쩌고… 1
1시…어쩌고
-
사실 이정도면 입결하락정도 아닐까
-
글 찾아봐도 안보이누
-
어어 왜 다 접노
-
경희대 미래정보디스플레이 컷 얼마정도 될까요?
-
이건좀ㄹㅈㄷ인데 생각하고 쓴거면 컨설팅해도될듯
-
독심술??
-
!!고려대학교 물리학과 25학번 아기호랑이를 찾습니다!! 1
!!고려대학교 물리학과에서 25학번 아기호랑이를 찾습니다!!민족 고대❗️ 자주...
-
4-5월 정도에도 자리만 나면 가능한가요?
-
서울대 간호 경쟁률 1대1(3명 뽑는데 3명지원) 수능성적은 2 3 4등급이드라...
-
조회조차 안해본거 아님?
-
얘네도 쉽지않은디
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.