충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
[고려대학교 25학번 합격] 합격자를 위한 고려대 25 단톡방을 소개합니다. 0
고려대 25학번 합격자를 위한 고려대 클루x노크 오픈채팅방을 소개합니다. 24학번...
-
기숙사랑 비슷한가 가격차이가 원룸이랑 그렇게 큰가요?
-
일하고 와야지..
-
머리자르고왓다 6
갈때마다 만족하고나옴 비싼편인데 돈이안아까워
-
다녀보신 분 계신가요? 후기 궁금해요
-
수1, 수2, 선택과목 마음먹고 내면 고1 내용 중 어렵거나 특이한 부분을 반드시...
-
나도 고닉시켜줘 1
은테 달게
-
사자성어 1
그 수많은 사자성어중에 한 개정도 모르면 문해력 낮은거냐?
-
고수)캡쳐해서
-
다시 태어난다면 12
남자 vs 여자
-
걍 상하차 뛰어가지고 돈을 모아야 되나..
-
아닌가..
-
ㄹㅇ임 그걸로 돈 벌겠다는 마인드는 조금 안맞는듯
-
라이엇 또 무슨 억까를 하려고
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함