귀류법으로 완전성, 공리의 성질 도출
게시글 주소: https://orbi.kr/00072268400
1. (A가 거짓->모순)->(A가 증명있음)
1의 대우명제 2.
2. (A가 증명없음)->(A가 거짓 and 무모순)
무모순<->참
3. (A가 증명없음)->(A가 거짓)
3의대우명제 4
4. (A가 참)->(A가 증명있음)
--------------------------------------------------------------------------------
5. A가 공리->A가 증명없음
3과 5를 연결한 6
6. A가 공리->A가 거짓
6의 대우명제 7
7. A가 참->A가 공리아님
--------------------------------------------------------------------------------
8. A가 공리->A가 참
4와 8이 연결된 9
9. A가 공리->A가 증명있음
9의 대우명제 10
10. A가 증명없음->A가 공리아님
--------------------------------------------------------------------------------
난 9가 틀렸다고 봄
그리고 8도 틀림
왜냐하면 4와 8이 연결된게 9인데, 4는 귀류법이 옳다면 참일수 밖에 없다고 생각함
따라서 9와 8의 부정형이 참임
9의 부정형 11
11. A가 공리 and A가 증명없음
8의 부정형 12
12. A가 공리 and A가 거짓
--------------------------------------------------------------------------------
6과 7이 참이라고봄
결론
A가 공리면 A가 거짓이다
A가 참이면 A가 공리아님
------------------------------------------------------------------------------
음..
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
ebs연계율과 수능난이도는 하등의 관계없음
-
팔로우하고 차단하면 17
팔로우 끊어지나요??
-
아 한다고 !!
-
저는 어릴땐 2
엄마랑 사이가 좋았다가 안좋았다가 그랬는데 지금은 아빠랑 사이가 좋았다가 안좋았다가 그럼
-
잘말 2
자라마라
-
이정도 밀리는 건 강사 본인 성향의 문제라 아마 내년에는 몇몇 강의 작년 강좌 재탕...
-
휴 3
.
-
다 그런건 아닌거같은데 왜지
-
나 2
중2때 처음으로 야동본듯
-
아직 파릇파릇한 병아리죠?
-
카누쌩으로먹기
-
많이 준거 같지가 않네 3월 4일 되보면 알겠지
-
닥 생1 지1? 4합 5나 6 기준으로..
-
사진좀
-
시간이 많았음 아빠가 일찍 집을 나가서 따로 살고있어요... 지금은 아빠랑 명절때만...
-
오늘 옵치하는데 0
겜 중간에 탱이랑 딜러 다나가서 힐러 둘이 외롭게 싸웠음 라인 방패에 입구컷...
-
흔히들 우리가 괄호치고 추가상황 주는 문장들 엄청 중요하죠? ~~한 상황에서 a는..
-
-
-
아 진짜 1
담주화욜날 개강인데 어떻게하면 일찍 일어나기가 가능한거지?
-
N제 풀때 버벅거린다는 느낌이 있는데 개념부족이 아닌가 자꾸 걱정이 돼요ㅠ쓸데없는...
-
.
-
잘못한 거에 대한 기억은 안 나고 맞는 게 싫어서 고치게 되는데 이게 장기적으로...
-
나 너무 많이 먹었어 23
버클이 안 잠겨..
-
꺄르륵
-
김승리 개인 사비로.. ㄷㄷ
-
이제 시작이니 다들 힘내봅시다
-
맞아봤다면 집에서? 아님 학교에서? 몇살까지?
-
1월부터 정신차려서 열심히하고 있는데 요즘 약간 다시 풀리네요 방학때 뉴런시냅스...
-
뉴토끼 7
.
-
화1
-
더프안보고싶다 2
현실직시하기실타
-
이이와케모 토토놋테 샤레타 세리후오 캉가에테타요 솔직히 맞추면 씹덕 Or 인터넷검색임
-
언제부턴가 이상해짐
-
대 황 슼 5
리벤지 매치 드가자~ edg 이길 수 있다
-
ott에는 티비위키와 누누티비가
-
단타로 돈 좀 벌려했는데 그냥 다 잃을거 같네 100만원 전부 슨피에 때려박고 속편하게 살까
-
3월 1일이니까... 내일부터 간식 안 먹아야지 응응 일단 초기니까 간식 절반만...
-
문제 풀만 해여?
-
2025년 2월 3주차 韓日美全 음악 차트 TOP10 (+2월 2주차 주간VOCAL Character 랭킹) 3
2025년 2월 2주차 차트: https://orbi.kr/00072186174...
-
왜냐하면 3모 다음 5모가 텀이 좀 있기도 하고 6모 치면 다들 교육청은 신경 별로...
-
잠시 휴식시간을 틈타.
-
밥먹으면서 강의 볼것같은데 기억에 오래 남게?설명해주시는분 누구계신가요?
-
어렵다 1
나는 무지
-
qqqm 지금이니..?
-
3분봉 보면서 열심히 응원하면서 하면 됨
-
못생겨서죽고싶다 1
ㅅㅂ
-
다 중간이라 햇을때 행정학과나 정외 뚫리나요?
-
ㅈㄱㄴ
-
첫번째 댓글의 주인공이 되어보세요.