이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
역내에 있는 용우동집 제육 짜글이 상당히 맛있네용 +역에서 택시 탈 때 택시 승합장...
-
그 세점을 지나는 이차함수는 항상 존재?
-
이전에 내신하면서 시발점 & 공통미적 쎈 2회독이상했구요 수1 - 수분감...
-
구석구석 핥아주세여
-
-
기하영입률의 0.1퍼정돈 되지 않늘까
-
낮잠 엄청잤다 0
4시간
-
-
-
하는 투과목 투표좀 부탁해요
-
설날에도 사람 좀 제법 잇는 거 실화임?? 하긴 나도 어릴 적에 부모 좀 설득 좀...
-
취업하고 재테크 시작하면 기본 몇천이 깨집니다. 어릴 때부터 연습해야함
-
한지 세지둘다 백분위98나오면 지학2컷 가능할까요? 6
아니면 훨씬어렵나요?
-
잡대들...
-
지수로그 방부등식 까지만 찍먹했는데 기본예제는 다 맞거나 살짝 조건 놓쳐서 틀리거나...
-
트위터 이미지 2
트페미, 덕질, 야동
-
이놈들아
-
트위터한다고하면 6
좀 이상함? 뭔가 이미지가 바뀐거 같네 예전이랑
-
ㄹㅇㅋㅋ
-
-
-
2077년되면 0
진짜 사이버펑크처럼 되나
-
나중에 델꼬다니게되면 아들이냐 그러겠네
-
한양대 학부-원광대 로스쿨, 원광대 학부-한양대 로스쿨 4
둘 중에서 누가 학벌이 높은건가요?
-
과연 올해 기하는… 일단 1만명..?
-
와 ㅆ 추워 11
그럼에도 걸어가기
-
지듣노 3
그래서 나히아 정주행해볼까요? ㄱㅊ함?
-
생후 116일차 안아줬더니 입 대빵나와서 울라그럼 걍 놀아주니까 웃어주는데 이잉
-
아닌가요? 경쟁률이 5.00인데 어케가능함
-
얼마길래 붙은거임
-
제이팝 얘기 나온김에 17
국룰 미세스 그린 애플도 들어주세요 열어분 신나는 노래 많아요
-
어디갈까요.... 삼반수까지 해서 가고 싶었던 곳은 서울대 어디라도 가고 싶었는데...
-
졸려... 10
으아..
-
어찌해야하나요
-
등수를 알 수가 있음?
-
나처럼 진짜 심연에 살면은 애니도 거의 모름
-
주인 잃은 레어 3개의 경매가 곧 시작됩니다. 오댕이"프랑스 귀족 혈통 비글인...
-
-
작수 물지45박고 끝까지 과탐한다고 하네 자존심이 중요한게 아니야 임마 대학을 못간다고!!
-
綺麗な髪を ただの一つも持たない 僕が見ている 風に揺れてるあなたの 綺麗な声で 僕は少しだけ歌った
-
주변에 현역 보면 이과가 더 많고 주로 걔네들은 아직까지는 과탐 많이 하더라고요....
-
꼴보기싫었는데
-
Hi 6
-
은테 부엉이 팔취해서 파테 만들기 ㄱㄱㄱ
-
반수 생각있으면 건대가는게 맞을까요
-
???
-
뭐임
-
미용쪽으로 빠지는 사람들이 사라져서 그런건가요
-
장봐와서 떡국이라도 해먹어야겠어요
-
ㅇㅅㅇ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.