충격적인 발견을 함..
게시글 주소: https://i.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를 선물하세요.
-
내 재능을 큐브로.
-
7문제 끝냇네 4
약간 기출분석이 뭔지 3년만에 좀 알거같음 신기하네
-
쌉가능 ㅇㅇ
-
공부잘하는사람들 3
개많네... 분발해야겠다 진짜
-
얼버잠 3
이제 자러가야지 잘자요 옵붕이들
-
ㅇㅈ 재업 7
(퍼엉)
-
아니 잠만 4
될 거 같기도 한데?
-
선넘질받 4
심심하오
-
심히 이해가 가지 않는 부류
-
화1은 그냥 망함 ㅇㅇ
-
기출본다고 수특 풀 시간도 생각보다 없네요ㅠㅠ 그래서 그런데 보통 몇월전까지 끝내시나요?
-
ㅇㅈ 7
(케인이 일본인)인 증(거)
-
재미있는사실: 쇼타장르 팬층은 남자가 대부분이다
-
신이 만든 애니 6
쓰르라미를 가장 좋아하지만 신이 애니를 만들었다고하면 1초도 고민안하고 슈타게라고 대답할거임
-
어그로 죄송합ㅁㅁ니다 재밌어요 ㅠ 다들 다 귀엽고 잘생기셨더라구요 문학 어려운...
-
거지가되
-
흠
-
현실에서 얼굴보고는 못낼거같기도하고..
-
사문이라는 현실에 무릎 꿇고 담뇨단행
-
거기서 진짜예쁜 볼펜을 찾았는데 인터넷 찾아보니까 별러 안예쁘네…담요단의길은 쉽지않다
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함