이건어떰
게시글 주소: https://iu.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
의대생들 만남 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번대인데 붙을까요?
-
쎈 c단계 4
수학 황들 들어보셈요 수학 글이랑 댓글들 보면 쎈은 b까지만 풀고 다른 문제 풀러...
-
-
경북대 3
확통 사탐도 경북대 공대 지원 할수있다는건가요?
-
아프리카반이라 당했다.
-
시험 끝나고 비오는데 우산 안가지고 와서 집으로 처벅처벅 걸어가고 있었는데 한 여성...
-
[속보] 尹 "부정선거 있다" 주장에…선관위 "수용 어려워" 9
15일 윤석열 대통령이 체포된 이후 공개된 자필 편지에서 부정선거와 관련된 내용이...
-
나 중뱃 생김? 3
ㅈㄱㄴ
-
똑똑한데도 상한이 없지만 멍청한데도 하한이없단걸 다시느꼈다
-
4등급도 맞기 빡세죠. 어찌보면 당연한건데 사람들은 잘 모르더라고요. 본인...
-
인하아주 인식 23
냉정하게 입결이랑 취업 다 고려했을 때 인하대 아주대 라인은 어디인가요 + 이과 말하는거에요
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.