이건어떰
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
-
-
님들 그거 앎? 1
저는 아는데 님들한테 알려주기 싫음
-
오르비 갤주임 어제 자고일어났는데 와있어서 진짜 감동이더라
-
착용완료.
-
거의다 자나보네 15
오
-
한번만 더 이기면 민폐는 아니었잖아 시전 시우가 민폐였다 똥냄새 여기까지 난다 시전...
-
인스타 맞89 0
구라임
-
자러감 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% 정도
-
-
그냥 공부했던거 다 까먹어도 상관...은 조금 있겠지만 인성이나 친화력을 조금만 더...
-
연애 3
100일 이상 간 적이 거의 없었음 예전에는 외모가 문제라고 생각했는데 생각해보니...
-
년생/만나이/한국나이 이글저글 다 얘기하고 다녔는데도 생각보다 못맞추길래 이 순으로...
-
얼버잠
-
ㅇㅈ 15
시발…
-
자라 4
잔다
-
내 글목록이 조울증 마이너 갤러리가 될 수 있으니 자제함.,
-
실시간 ㅈ됐어요
-
태그는 3
01부터 08까지 잇네
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.