이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
화작틀있으면 93 없으면 94가 젤적당함 94-95는 ㅆㅂ
-
불꽃가능
-
내 mbti는 11
맞히면 1000덕
-
지균으로 간신히 서울대 끝자락학과 붙었는데 리트 도전하기엔 너무 허수인가 ㅅㅂ
-
나 너무 졸려 2
3분만 잘게
-
분러 책장 ㅇㅈ 12
특정되나요?
-
누군가한테는 당신의 당연함조차 노력임 비유하자면 누군가는 삼시세끼를 먹고...
-
안녕하세요 지금 예비 고2인데, 내신은완자 통해서 강의 듣다가, (모고)수능 화학도...
-
Perpendicular line Vertical line <- 얜 어따 쓰는 앤지 잘 모르겟음
-
여러분들의 생각은?
-
똥손의 그?림 5
특정가능해서 이따 펑할거 폰보고 따라그림
-
1분컷 2
-
조용히 비가 내리면~ 여전히 그대로
-
수학노베 2
지나가다가 불쌍하니까 말 얹어준다 이런 심정으로 조언 좀 주세요 ㅡㅜㅜㅜ 제가 수학...
-
진짜 너무 안맞아서 쎈 예제에서도 버벅버벅 거리다가 하루아침에 기출4점까지 풀리더니...
-
문제만들기 0
화1의 사례이다. 이정도면 7등급도 풀 문제이다. 아주 기초이다. 근데 이게 점점...
-
알바 끝났다 10
48시간 동안 알바 안 하니까 매개완 조져줄게 ㅇㅇ
-
핫칠리 육포 먹기
-
이말 어케봄
-
순서대로 오리비 오댕이,, 전에 눈왔을때 바닥에 그려본건데 그림 개못그림
-
-
23국어수학 공통이 24국어수학 공통보다 어려운거같은데 비정상인가요?...
-
커리 탈 생각없고 주간지만살건데 추천해주세요!!! 주간지는 번장에서 작년거사도되나여?많이팔던데
-
창작은 힘들고 사진을 주면 1명 그려봄
-
좀 피곤한데 9
그림 그릴까 잘까 롤할까
-
밤만쥬 맛있어 0
밤만쥬가 맛있어서 울었어
-
포켓몬 챔피언리그 다 깨고 새로 시작하는 느낌이랄까
-
그래도 팜하니 사랑하시죠?
-
대체 그림이 9
임티랑 다른 이유가 뭐지 단순하게 생겼는데 많이다름..
-
기술적취침
-
흐흐
-
나의 최선이었따…..
-
예비고1국어 0
아진짜찐찐막글 그냥 문법(형태소이런거)만 인강듣고 문학이랑 비문학은 그냥마더텅...
-
Don't make a sound you got to lower the noise...
-
인문논술 질문 0
1. 학원 다니고 있는데 독해법 안 알려주고, 그냥 첨삭만 해줘서 바꾸려고 함.,...
-
-
… 8
-
어느정도일까요? 누백 10밑으로 떨어질까요?
-
강준호가 마감을 못치는 가능세계가 있다니.. 라이브반도안열리고 만백97이 크리키컬하긴하다
-
레이텍 한글 어도비 인디자인 이런거 쓰라는데 일단 문제 만들 아이디어가 없음
-
그냥 칸막이 안에서 앉아서 보는 변기로만 해두고 화장실 남녀구분없이 한방으로 만들면...
-
고1 질병조퇴. 2 고2 질병결석 1. 질병지각 1. 질병조퇴 1. 질병결과 2...
-
정말 죄송합니다 진짜 차단만하지마요 미안해요
-
알바 주 몇 회 몇 시간 해서 월급 어느정도 받으셨나요?
-
나 오니까 왜 이럼
-
수학유기로 2
수학유기로 국어만점을 쟁취하자 캬캬
-
뭐 너무도 당연하게 예비도 없음
-
ㅇㅈ 7
눈오리
-
ㄷㄷ
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.