충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
롤 6
ㄱ
-
거북이 키우는데 지금 울음소리는 아닌것같고 새벽3시에 거북이쪽에서 소리남 집이...
-
자신감을 가져 3
넌 수능을 잘 볼거야
-
-
개어렵네....어케 접근해야되는거임..
-
화작 다신안한다 9
수능때 3개틀림 하
-
-
최초합이었고 등록도 했는데... 제가 어디 연락해야 하는 건가요?? 삼수 나이지만...
-
팥취 하지말아주세여 ㅠㅠㅠ
-
입시커뮤에서 자주보이네여
-
かのじょは 顔が ( )ので 学校で いつも だれかと 話して いる。 どこへ...
-
배고파
-
이게 말로만 욕하지 막 혐오표현 이런건 안하는데 다 받아주잖아 내가 진짜 착한거임...
-
성적같은거 보나요? 정확히 뭘 보는건가요?
-
주문한거 도착!!! 열심히 해보겠습니다.
-
한의대 가면 예+본과 6년에 군대 3년이면 9년인데… 열심히 공부한단 전제하에...
-
편집은 다른 분이 해주셨음
-
해보고싶다
-
-
올해 입학정원 2000명 늘어난거임? 그럼 입결 안떨어짐? 휴학 할거임? 만약...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함