이건어떰
게시글 주소: https://d.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ㅈㄱㄴ 유튭에서 썸타는 도중엔 썸남, 썸녀 몰래 여러 소개팅 다녀도 괜찮다는 사람들도 꽤 많네
-
지수가 뭔 지를 20분 넘게 떠든다는 게 무엇인지..
-
더이상은 힘들고 소재도 없는거 같다..
-
국어 기출분석 과외를 반년동안 진행하다 군입대 관계로 22~25까지만 해줄...
-
기균 고려대 0
8명 지원 했는데 아직도 저말고 아무도 안 들어왔어요 ㅜ 나머지 허수라고 봐여 할까요 2명 뽑습니다
-
난 의대는 가고싶은데 의사가 하기싫은데 의대나오고 전공의?그거 한다음에 회사취직 ㄱㄴ함?
-
난 메인 딱 3번 가봄 20
첫번째는 정시커뮤 오르비에 맞지 않는 분란조장글 난 그런 의도가 아니었지만...
-
안녕하세요? 과탐으로 물생 선택한 현역입니다. 물1은 배기범 커리를 타고 있는데요,...
-
무조건 붙겟져 솦이랑 ict중에 걍 솦 했는데 뭐 차이 없겟죠?…
-
작년 수학 기준 5등급이라 빨리 공부시작해서 지금 이미지쌤 세젤쉬 다 들었는데...
-
고1 3모 국어(최고점 96인가 97이였나) 고3 6모 국어(12번틀 98)...
-
전 왠만한건 장기기억에 도움될거 같아서 듣는데 이지영쌤같이 사담 좀 많으시면...
-
인생이우울함 3
제대로된삶을가지고싶음
-
가족밖에 없다 4
생일이라고 미역국도 차려줘 먹고 싶다는 초밥도 사주시지 진짜 가족밖에 없다...
-
수학 인강 0
김기현쌤 아이디어 듣는 중인데 3강정도 들으면 한 6시간 써버림 문제 풀고 필기하고...
-
야호~ 제발 성균 경영 추합 기원 ??
-
육군.. 두렵군아
-
영어 듣기중에 독해문제가 몇문제까지 풀려있어야하나요??? 17
전 그냥 듣기다풀고 독해푸는데 유튜브에서 어떤선생님이 11문제???정도까지는...
-
왤케 뜸하지하고 모아보기 갔더니 글을 쓰고 있었구나…
-
안녕하세요 현재 수능특강과 마더텅으로 공부하고 있는 노베 예비고3 입니다 현재 듣는...
-
메가 없어서 대성만 있는데 임정환t 생윤,사문 개념만 듣고(리밋) 현돌 기시감...
-
이론적으로 몇 살까지 살 수 있으려나
-
6모 9모 수능 10
현역: 6망 9잘 수망 재수: 6잘 9잘 수평 삼수: 6잘 9망 수잘 6잘9망수잘...
-
한식vs일식 3
어디가 더 좋음? 난 한식..
-
엄대엄임?
-
똥꼬가 불타..ㅠ 20
어제 매운거 뭐먹었더라
-
봉사를 하는구나..자료도 자체제작인데
-
여친 급하게 구함 13
-
엄청난 축복임뇨 감정의 기복이 덜하면 9잘수망을 당하지 않을 수 있으며 재능이...
-
윤석열 "계엄은 범죄 아냐‥계엄 형식 빌린 대국민 호소" 육필 원고 공개 2
헌정사상 처음으로 수사기관에 체포된 현직 대통령인 윤석열 대통령이 "새해 초 직접...
-
터지긴 터지는데 엄청 느린 속도로 되는게 훨씬 빡치던데 전자는 그냥 체념이라도 할...
-
의대생들 만남 3
22학번 2명 24학번 2명 25라 구박받는중
-
국어는 자신감 2
ㄹㅇ 그 자세와 멘탈 조금 흔들려도 버틸 수 있는 게 힘인듯.. 그리고 돌고래님...
-
숙제만 잘해와라
-
물1 표본 좀 무서운데
-
중3과외랑 고3 과외랑 부담감이 걍 하늘과 땅임 중3과외는 한번 슥 읽고가면 어떤...
-
맞팔구 2
이상한 사람 아니에요
-
자기전에 할거 2
뭐 하나 다운받기 지고쿠라쿠 만와 보기
-
[단독] 윤 대통령 "거대 야당이 극좌 유튜버와 가짜뉴스 생산공장 돼" 4
윤석열 대통령 측이 12·3 비상계엄 선포의 정당성을 강변하는 논리로...
-
두 개는 최초합 하나는 불합으로 될 것 같은 느낌이…
-
개인적으로 저는 준킬러 4분 킬러 10분 걸어두는데 님들은 몇분 거시나요?
-
피램이 엄청 좋다고 들어서 피램 - 생각의 전개로 재수를 시작해보려하는데, 필수...
-
중앙대 최초합 3
영문과지만 최초합 하나 했네요
-
걸그룹 마스터 야구 중독자 (32년 무관 팀 팬) New! 오르비 경력 6년 (첫...
-
맛있는 글 하나 쓰고 싶은데...
-
최저를 맞춰야 했던 친구였는데 10월 학평을 개말아먹고(본인피셜) 과탐 1일 1실모...
-
어떻게 점수 컷이 저럴 수가 있지? 나처럼 4개월 타고 내릴 생각으로 가는 건가?...
-
샤프가 많아서 안 들어감
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.