이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
후
-
시발
-
저도 ㅇㅈ 2
원준
-
으흐흐 5
-
데워먹을까 계란후라이랑
-
재미엄네.....
-
저의 페페가 신사다워졌네요
-
눈 인증(이번엔 찐) 21
.
-
ㅇ왜 맛은 그대로인데 묵은 발톱 때 향이 나는것이지
-
수리논술 0
수리논술 보통 몇달전부터 준비하나요? 지금 수능 8달 정도 공부했는데 지금부터...
-
멘헤라여도 3
사랑받을수있을까요
-
번이야
-
[속보] 이별했습니다 21
새해 이벤트 지리노 성격 다 버렸네 ㅋㅋ
-
땡기는 거 있으면 추천자 천덕 줌
-
ㅇㅈ 14
윤아 보고가라
-
님?
-
다 가셈 이제 4
오르비 내꺼함
-
생기부는 별로 좋지 않은 내신 1점 극초반대인데 만약에 수능으로 화작 미적 화1생1...
-
-
본 애니 최애의 아이 1화 봇치 더 락 전편 오빠는 끝 원작만화까지 약간 이런 일상...
-
다즈비 펀치! 다즈비 펀치!
-
진지한 고민 6
칠까말까 칠까말까 칠까말까 칠까말까
-
눈 넘 많이 와서 스킵이래 앗싸
-
팀원들이 사이드 밀고 있을때 미드에서 혼자 앞에서 죽는경우 그래서 금재존이라고...
-
냥메타 좋아요ㅜ 2
제발더해주세요
-
대학생의 기초! 국민대 새내기들을 위한 교수님께 메일 작성하는 비법! 0
안녕하세요. 합격자 후배님! 저는 국민대 기계공학과 23학번입니다. 국민대에 처음...
-
순애가 11
순순히 애를 낳아라 맞음?
-
오뿌이 한명한명 다 소중한 저한텐 넘 가슴아픈 일이네요 새해를 맞아서 떠나가신걸까...
-
Hello mr my yesterday가 더 인상깊음 하도 들어서 그런가
-
최근에 좀 여러모로 부러운 친구가 있었는데 친해지면서 딥한 얘기를 하다보니까 이...
-
협곡 들어와라 12
넵
-
얼마나
-
-
ㅇㅈ! 11
냥이나 보고가라
-
잘자여 낼봐 친구들
-
화2는 그래도 시간 오래 쓰면 하겠는데 생2는 도저히 못건드리겠는데
-
애니 본 거 7
기억나는대로 다 써봄최애의 아이 조금암살교실 진격의거인나루토사펑체인소맨 크아아악 기억 안 나
-
맞팔 구함 4
ㄱㄱ
-
개념만 김기현쌤하구 기출부터는 양승진쌤 들을생각인데 파운데이션랑 킥오프가 개념이라구...
-
이분도 이름이 코난이라네요..
-
세배는 안하는데 0
세벳돈은 받는다 개꿀
-
애플펜슬이 오링나서 미루다가 걍 낼쓺
-
내 영어 공부법 0
1. 공부하고 집에 돌아와서 디코에서 전세계에서 온 사람글이랑 부질없는 얘기를...
-
이런 건 잘 안 떨어지겠지? 보통 떨어질 원서는 점공 보고도 느낌이 오나요?
-
좋앗을것을
-
Panorama(파노라마)- IZ*ONE(아이즈원) 이세계아이돌(ISEGYE IDOL) COVER 1
대 대 대 노래 진짜 너무 잘부른다
-
나까무라 지누스케
-
애니 추천 좀 7
공부, 오르비, 운동 중에 하나 버리고 애니 보겟음
-
렌고쿠 쿄쥬로
-
계속 버티면서 수업듣고 생각해보고 복습하면서 따라가는게 나을까요?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.