이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
쪽지라... 1
누구랑 쪽지를 하루에 5번은 하는 거 같은데
-
나 열심히 후원햇는데..
-
에휴. 1/1에 복 많이 받으라는 쪽지 X 오늘 보냈다던 복 많이 받으라는 쪽지 X...
-
일요일에 하남돼지 먹고 중국집 가서 차돌짜장 곱빼기로 먹다가 체해서 월욜 화욜...
-
급함
-
은하수를 건너서
-
하도 그런적이 너무 많으니까 진짜 이게 억까가 아니라 사실 내 잘못인게 아닐까라는...
-
님들 새해복많 16
먼가 님들 다 오르비에만 있는 AI 같아서 새해 덕담할 생각을 못하고 잇엇음 새해복많
-
레드와인 마시고 취해서 울어서 팀장님이 킅 온거 후회하니..? 하신거에 본인도...
-
기억으로 쓰는거라 이상할 수 잇음, 알아서 걸러들으삼1. Inverse 중심이 O인...
-
급함
-
이거 ㄹㅇ 담원뽕 차게함
-
피우진 개짜치네 2
너무 억지전개다 그냥 이번화에 김신이 백의를 철저히 도구로 이용하는 장면 보여주고...
-
너의작은인사한마디에요란해져서
-
미연시인데 갓겜입니다^^ 아 두근두근 문예부도 추천드립니다^^
-
님들 그거 앎? 3
저는 아는데 님들한테 알려주기 싫음
-
오르비 갤주임 어제 자고일어났는데 와있어서 진짜 감동이더라
-
착용완료.
-
거의다 자나보네 20
오
-
한번만 더 이기면 민폐는 아니었잖아 시전 시우가 민폐였다 똥냄새 여기까지 난다 시전...
-
자러감 4
밤 새려고했는데 늙어서 못새겠음 4시간반 자러감 굿밤
-
현실친구안사귀고 맨날오르비에만글싸고 순공20시간인증매일하다가...
-
흠 8
-
진짜금붕어와지능테스트해도 질자신있음…
-
글 쓰는 중 6
이라는 글 쓰는 중
-
강제 배송이고, 많이 안 받으면 울어버릴거임. 다들 대박나셈뇨 고고
-
싫어요
-
nynykyo_93 닉을 말을 해주세요 왜 닉을 말을 안하죠 차단햇으면 안받음
-
공스타 맞팔 구 0
-
.
-
개배부르당 2
꺼어어어억
-
공부 시작해볼까 0
이런 삶도 그만 살고 싶어
-
학사일정에 안나와있네요ㅠ
-
진짜개빻아서 넌 의대가라 제외 댓 달릴 만한 사진이없음
-
화학 츨제진이 여기까지 노린다는 게 정설이다 스바
-
그래도 좀 있겠죠?
-
고2 모고기준 2~3 진동하는데 키스타트 재끼고 nf 하는중입니다 근데 해석...
-
내일 목표 17
베르테르 1개 풀기 코딩 하기 노래방가기 일찍일어나기 밥 2번 먹기
-
옯만추 해본사람 있음? 10
ㄹㅇ궁금함
-
맞팔하실분 4
52명만 구함
-
무슨 글 쓰지 10
흠.
-
레벨1, 2도 대부분 오래걸립니다. 다른 문제집 뭐 풀어야하나요
-
ㅇㅈ 10
새해 복 많이 받으세용ㅋㅋㅎ
-
맞팔구 3
팔취당해서 동테됏어요…
-
코인은 망했고 주식은 거래정지 상폐예정임 ㅎ.....
-
왜케 우울해짐 3
ㅜㅜ
-
아니 노래방 너무 가고싶네 내가 또 밴드부 제안 1번 받은 무친 보컬인데말야
-
뭐야 왜 인증메타 15
그래 내가 몽땅 못봤다ㅋㅋ
-
2024 11/10 시작 수1, 수2 뉴분감미적 뉴런.수1 N제 하나수2 N제 70% 정도
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.