이건어떰
게시글 주소: https://m.orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
삶은 6
날먹
-
프변완 9
-
넷플 마싯음 2
으음
-
체육선생이 자율시간줄때 다른 친구들이랑 농구,축구했다 나 혼자만 의자에 앉아서...
-
마법천자문 1권 내용정도만 알아요(하늘 천 땅 지 사람 인) 요종도만
-
귀여운 사람이 좋음뇨 12
으흐흐….
-
재밋겟ㄷ다
-
안전자산도 2
큰 베팅을 안하네;
-
1. 기분나빠하지 않는다. 2.기분나빠하지 않는다. 3.기분나빠하지 않는다.
-
ㅇㅇ
-
제2외 하심?
-
고2때 수학이랑 국어 모고 각각 2,3등급이었는데 둘중에 하나 버리고 하나만 파서...
-
그림이나 그려드릴게요
-
시름말고
-
작수 영어 4등급인데 션티 커리 타는 중입니다. 매주 독재에서 워드마스터 하이퍼...
-
?
-
과연 제가 일찍 잘 수 있을까요?
-
ㅅㅂ 2
게이는 나가라 왜케 드럽지 ㅋㅋㅋㅋㅋ
-
그나저나 머리카락 그리기가 헬임 킹받으시겠다
-
질문받음
-
[국어] 2024 화암구곡 34번문항 4번 선지에서 겸양이 답의 근거가 아닌 이유 25
짧은 글입니다. ‘야인 생애‘는 겸양어입니다. 겸양어이므로 겸양의 태도를...
-
[칼럼] 2차원 돌림힘을 정석과 기하로 풀어보자(2편) 0
생각보다 더 할게 없어서 금방 2편을 적게 됐네요. 이번 2편에서는 2차원 돌림힘을...
-
3모 수악 7
120분컷 내버리겟음
-
집중이 안돼...
-
진짜... 하면 최저학력 개박살날 것 같은데 당장 내년 시행이 걍 말도 안됨...
-
강대에서 재수하고 시대에서 컨설팅이랑 의대면접수업 받았는데 2
강대랑 시대 둘다 실적 기록되나요
-
10만원 주고 하루종일 하..
-
난 왼손잡인데 4
글씨만 오른손으로 씀
-
빨리 12시가 되었으면 17
크크크킄
-
충남약 점공상황(최초합컷) 알려주시면 감사하겠습니다.. 충남대 약대 정시
-
그림그려보게 4
이미지추천좀
-
혹시 저번주 김성호 시대 대치 테스트지 미작이링 정규반 딥지랑 있으싱분 ㅜ...
-
화1 과외구합니다ㅠㅠ 12
우리 과목 정상운영합니다ㅠㅠ
-
외 안 뜨는지 6
이해가 안 되..
-
배불 4
우설 좋아하는 사람
-
이가 시리네 2
나도 이제 늙었나보오..
-
다음 주에 할 것인가
-
나중에 화나면 12
덕코로 레어다사고 싹다 경매 시킬거임
-
명동 고고
-
ㅎㅎㅎㅎ
-
막 몇십~몇백의 가치가 있는지 모르겠음 그냥 소주 업소용 궤짝 여러 개 집에...
-
당연하듯이 푼 방식이 사실 그 n축으로 불리는 거였는데 이게 정석풀이가 아니면 대체...
-
공통 김현우 드랍하고 인강으로 김범준 허들링 듣는 거 어떰?
-
아직 난 연대생인것이야......
-
추븝다..
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.