충격적인 발견을 함..
게시글 주소: https://orbi.kr/00071901456
1. (A가 거짓일때->모순이 있다)->(A가 참이라는 증명이 있음)
1의 대우명제를 만들건데
p->q의 대우명제는 not q ->not p 임
그리고 b->c 의 부정형은 b and not c임
따라서 1번의 대우명제는 2번.
2. (A가 참이라는 증명이 없으면)->(A가 거짓이고 and 무모순이다)
2번을 보면
"A가 참이라는 증명이 없으면, A가 거짓이다"
A에 공리를 대입하면
"공리가 참이라는 증명이 없으면, 공리가 거짓이다"
공리는 원래 참이라는 증명이 없음
따라서 공리는 거짓임
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
학위수여식 학위증 받는건 0 0
수석졸업생만 수여식 도중에 나가서 받고 나머진 따로 받는건가? 선배 졸업식 가는데 갑자기 궁금
-
운전 ㅈㄴ재밌네 0 0
어 형은 제2의 포터남이 될거야 ㅋㅋ
-
억울한건 저죠 9 1
이사람들아!!!
-
코로나 처음 터질때 6 0
내가 피파로 챌을 찍었었지... 줌 수업은 무슨 하루종일 게임만 했었는데 돌아가고싶다
-
거래하는 법을 배웠네 그게 여기서 오래하는 법이라며 날 가르치네 첫번째 나의 동기는...
-
내가 아는 명제논리 지식 0 0
if then 화살표 OR AND NOT if then, not, or, and...
-
ㅇㅈ하기 8 1
노엘아닙니다 운전면허없습니다
-
내인증 저장한 사람 있을듯 9 0
저주할거임
-
입시 이슈 보면서 제일 충격인게 17 1
교대입결의 나락임.. 내가 고딩땐 나름 인기대학이었는데 저렇게 지방대급으로 나락갈줄은 몰랏음..
-
07 정시 오늘한것 9 1
어싸 6주차 40문제 강기원 정규 6주차 복습 수1특강 5주차 복영 이신혁 고체...
-
아 나도 롤 잘하고 싶다 6 0
친구들 다 마스터인데 왜 나만
-
주제 고민중
-
가족관계부터 친구관계 연인관계까지 새삼 다시 깨달음 나를 필요로 하는 누군가가...
-
거리곱 9 0
매우 유용함
-
26요청) 지인선 N제 표지 추천 21 94
새로운 디자인 별로더라구요 그래서 제가 직접 만들어봤는데 지인선님이 보시고 표지...
-
강의 없이 책으로만 재수 0 0
가능한가? 해설보고 따라가기만 해도 충분할것 같다고 느낌
-
근데 이 분은 8 3
신이 인간세상에 나온게 아닐까? 저 비주얼에 인설의 이게 맞는 밸런스냐
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함