이건어떰
게시글 주소: https://h.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
아 진짜 에반데 왜 갈수록 계산을 더 틀리지 수능전에 본 서바보다 점수가 안나오고있음
-
아니 근데 술 3
좀 기본적인 질문일 수도 있는데 생일이 지나야 술 먹을 수 있는 거예요? 아님 새해...
-
28 수능부턴
-
23년도부터 교육청,평가원 나중에 손풀이도 같이 올릴예정
-
ㅈㄱㄴ
-
아쿠아 프사 8
가져가주세요.
-
저한테 총 1300덕코가 필요해요 도와주세요 ㅠㅠ
-
ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 시발 나도 이젠 내 인생이 어이가 없어... 살려줘...
-
고려대 이거머냐 2
아니 이런대서 만나다가 아는사람만나면어캄 ㄷㄷ
-
다른것도 할거짘쯔많은데 3월 개학 전 한 번 풀고 가게용
-
내일해야지..
-
계좌로 즉시쏴줌
-
전 순자산 10억 넘어가면 진짜 전업투자자 할 생각입니다 근데 이런식이면 나이먹으면...
-
시발 어지럽노 4
소주 3병 ㅋㅋㅋㅋ
-
없..겠지?
-
하하하
-
제 마음데로 사고 팔 수 있는겁니더
-
반갑다.
-
옾챗방나갓는디?ㅋㅋ
-
안녕하세요. 얼마전에 면접을 치룬 한 학생입니다. 교수님께서 대학교 면접인데 대학원...
-
모교에서 보기는 좀 많이 불편한데 재종을 바로 안들어가니 어디서봐야함?
-
아오 10
아카
-
야로나 크아아악
-
규격 안맞는 레어 화질 떨어지는 레어 중복되는 레어 겹치는 레어 (한 인물/사물에...
-
레어테스트 0
뭉탱이
-
인생 진짜 모르네
-
비대칭 좀 심해서 진지하게 이건 성형해야됨 미3누처럼 눈이 큰게 아니라 오히려 비호감됨
-
공스타에 올리는거 좀 역하네;
-
경제적인 사정 때문에 메가나 대성패스를 추가로 끊을 수는 없고 이투스랑 ebs...
-
너무 졸려 2
크아아악
-
약대인가요 치대인가
-
합격확률없어서 그 푸리나는 아니다..
-
레어 삽니다 9
항공사 Lufthansa 로고 삽니다 쪽지주세요
-
큰일난것같음 10
걍 주접 지랄아니고 진심으로 좋아하는 쌤때문에 공부에 집중안됨… 이거 어떻게해?...
-
중간공인가 중앙대 중대 높공 에시공
-
처벌로 병역 1년 6개월형을 선고한다네요... 하
-
뭔 개소리지 하는 제목 보이면 항상 똑같은 사람이네
-
이대레어뺏어옴 3
-
헬스터디 남자분 수학 테스트 문제 이상하지 않나요? 2
적분 안쪽이 f(x)가 아니라 f(t)여야하는거 아닌가 근데 또 풀이는 관성적으로...
-
맞팔 구걸하기 2
할 수 있는게 구걸밖에 없습니다...
-
아직까지 술마시고 오바이트는 해본 적이 없는데 다행일지도..
-
당장 시정조치 바랍니다.
-
안녕하세요 올해 고3올라가고 현재 국어 강민철쌤 강기본 독서 문학, 강기분 나가고...
-
고대 복전 전과 1
영어교육과인데 사범대학은 복전 전과 둘다 아예 불가능한가용..?
-
지금 외고 다니고 있는 예비 고2인데, 확신이 없어서 질문합니다. 현 수학 내신은...
-
이 기분은 어떨까 이게 상상이 아니라 현실이구나
-
할 얘기도 떨어지고 요즘 시국이 시국인지라 계엄이랑 부정선거 관련해서 제 의견 좀...
-
레어 안 사지네 4
걍 없는 채로 살게요
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.