이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
3덮 화2 7
47인데 어느정도로 본거임. 컷도 예상해주세요
-
님들이 의대 붙었는데 만약 사태가 26년에도 계속된다치면 휴학할거임?
-
큐브 4
이거 질문 잡는거부터 개빡세네
-
동생 34234였나 44234 나온거 단국대 광운대 써서 3전찬 띄움
-
덮 보정 평백 280대 뜨면 평가원도 280뜨고 덮 보정 평백 290대 뜨면...
-
현타오네...
-
덕코 다 뿌림ㅇㅇ 모두 행복하고 편안한 밤 도ㅔ시구요 즐거운 새르비하세여 먼저 자요
-
고민 생김 0
우리 학원 수학썜 진짜 잘 가르치심 그래서 대성마이맥 지난번에 지원하셨다가 학력땜에...
-
찡찡거리고 옴 4
뱃지 달라고 메일로….
-
1시엔 잘거에요 13
에이 설마 그땐 자겠지 그치 나 자신아....?
-
하루에 공통 제외하고 미적에만 두세시간씩 박는데 하프모나 풀모 보면 2-4개씩 맨날...
-
이렇게 해선 안될꺼같음 독재끝나고 집와서도 무조건 과탐하고 잔다
-
야식 먹는중 5
예 콜라랑은 안 어울리네요
-
이렇게 등급이 잘떠도 되나 싶을정도로 애들이 공부를 못함
-
한 …9월?에 나오나요?
-
모든것이 다 거품이고 모든것이 광고이다 믿을 수 있는 것은 하나도 없다
-
지금도 비로그인 상태로 눈팅을 할수도있고 부계를 팠을수도 있어요 사실 저에요.
-
대깨설입니다. 서울대 높공이나 수의대 가고싶어요. 일단 성적을 말씀드리자면 언....
-
은근 서러울때 2
밥먹으러갈때 폰받고 알림온거 확인했는데 그 사이에 온 알림이 없음...........
-
-
크나요?? 그냥 2025로 봐도 되나요?
-
2268개 글 4
이거 맞아요? 버그인데
-
할만하지 않으려냐ㅏ
-
좋다vs별로다 남자도 여자가 첫사랑 여자도 남자가 첫사랑
-
OWL 화1이 2
작년 언제 나왔었지?
-
먹자마자 더부륵함
-
지구 봤는데 넘 어려운데 사탐으로 바꿔야 될까요 뭔가 수능도 비슷하거나 더 어렵게...
-
사귈 수 있어야 사귀죠….. 엄마 미안해
-
전 대충 An 야매로 주기 잡고 f(n)은 n/18 잡아버리고 근사때리니 18/3...
-
현역 3덮 쳐보려고하는데 3모 전까지 할 게 넘 많기도하지만 한편으로는 모고 감 좀...
-
국어조교 하고시포
-
스키마 체화하고 보니 옛기출에는 출제 오류가 많음 10
어떤 집합을 모든 집합으로 지금으로 따지면 매력적인 오답으로 적어놓고 이게 정답이라...
-
작년에 개념한번했는데 다까먹어서 다시하는중이에요. 중간에 기출을 끼우니깐 너무...
-
사평우 출격해라 0
가라이
-
기하괜찮나요 뭐도형딱히잘하진않음 근데미적도답없긴함 더프 3점에서 개식겁함ㅋㅋ27은틀림걍
-
잠이나 자자 2
못잠 빨래야됨
-
이원준 가이드 0
누가 써주면 좋겟당 ㅎㅎ
-
https://orbi.kr/00072499581 풀 줄 아시는 분 한명쯤은 있을듯...
-
그냥 보정컷을 컷으로 생각하몀대여.? 무보정은 더프 본 사람들끼리 컷이고 보정은...
-
8일도 아니네 0
되는데까지 해 몰라잇
-
원주캠에서 1년반 생활하고 서울캠으로 가는건가요?
-
다들 독재갈 때 챙기는 꿀템 있나요??
-
능이됨
-
술약이나 이런걸로 운동 안가게 되면 너무 노는데 근 회복도 빠른 것 같고 좀 자주...
-
뭔가 체크나 밑줄이나 필기 이런거 하라는 지점이 되게 애매모호하게 들리는 느낌임 자...
-
국어 고전시가 0
현 고2이고 아까 인강 추천 받았긴 했지만.. 정석민 커리 타고 있는데 매E네 고전...
-
올찐따 자러감뇨 4
내일 봐요!
-
쎈 c 반타작 가능하면 몇등급뜸? (5등급 기준으로 말해주시면 감사요)
-
ㅈ댓네
-
100렙이 될까요?
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.