이건어떰
게시글 주소: https://a.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
이론적으로 몇 살까지 살 수 있으려나
-
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개월 타고 내릴 생각으로 가는 건가?...
-
샤프가 많아서 안 들어감
-
예대는 무한 n수가 많아서 최소 30% 많으면 반이 20대 중후반인데 메디컬은...
-
이건어떰 8
모순(A and not A)거짓 모순거짓 무모순참...
-
23수능 국4(73) 수5(58) 영3 물4(65) 화4(61) 24수능...
-
신캠,영캠 2주 조식은 천원조식 학교 용돈으로 해결할텐데 점심 14끼랑 저녁 14끼...
-
수영 한번 꼭 해보세요 물 속에 있을때만 오는 평화로움이 진짜 좋음 온전히 내...
-
듣기 빼고 다 사 놓고 생각할까요? 어차피 연계 적어도 다 풀면 좋을 거 같은데
-
쿠쿠리 님 3
좀 더 참신하게 해 봐요. 맨날 똑같은 레파토리야
-
여러분 지금 머하세요 11
전 집가는중
-
ㅈㄱㄴ
-
감기가 다 나은듯뇨
-
나중에 대학 졸업하고 열심히돈벌어서 맥주집차릴껀데, beer(맥주) 랑 연결시켜서...
-
중앙대 합격생을 위한 노크선배 꿀팁 [중앙대25][최애맛집공유] 0
대학커뮤니티 노크에서 선발한 중앙대 선배가 오르비에 있는 예비 중앙대학생, 중앙대...
-
경희대 점공 1
경희대 신소재공 35명모집150명지원 점공 44/83인데 좀 위험할까요..? 추합은...
-
내신 반영기간 끝나고부터 바로 미인징 지각,조퇴 많이 하구 미인정 결과는 5번?...
-
셈퍼 계산기는 신이야! 지금 내 순위가 5위~8위인데 다른 계산기는 9위로 계산할...
-
난 과외는 못할듯 11
반수해서 더 좋은데 가더라도 애 팰까봐 못할거같음 좀 험악하게 생겨서(정치인...
-
일반고 문과 n수생, 내신 1..점대,이번에 서울대 자연과학대 정시...
-
공부못한다고 뭐라하는건 나쁘지 않은거처럼 머 이런얘기를 들음
-
생윤 한지 선택 3
둘다 노베고 인강 들을건데 뭐가 더 괜찮나요? 사탐런이라서 지구과학2등급 받았었습니다!
-
근데 나랑은 관련이 없노
-
바톤 넘어간진 꽤 된거같기도 하고요
-
중대 경영 0
예비 500번대인데 붙을까요?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.