충격적인 발견을 함..
게시글 주소: https://9.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를 선물하세요.
-
여자임
-
stfu 넵
-
롤 킬까 10
치피치피
-
저격합니다 11
당장 정지 지금 당신 움직이면 쏩니다 창문 밖에서 머리 조준 중 천천히 저에게...
-
탐구는 몰라
-
조합론 코딩 시사경제 해석학 해보고 싶은게 많은데 걍 다 처음이니까 힘들어서 젤...
-
점심 저녁 쉬는 시간의 강의실 층 여기서 만나면 아무도 안 잡음 스텝이야 뭐 짜피...
-
(테러 죄송...못생겨서 미안합니다) 눈 완전히 뜨면 쌍커풀이 끝에만 조금 보이고...
-
술 천천히 계속마시니까 11
이제 막 엄청 취한느낌은 안나네 근데 머리아픈건여전해요 뒷일을 부탁한다, ’간‘
-
둘중에 뭐고름
-
중국인이.좋아하는 숫자 10
이왜진
-
한국사는 김종웅
-
왜 다른사람들은 성별투표할때 남 여 반반인데 나는 다 남임? 10
이거 좀 억울하네 나 여잔디
-
혼틈 8
옯스타 홍보 @fxxkmanem
-
한국 시청자가 많아서 애칭이 한나무인데 한남 발음 못해서 한나무인게 개웃김ㅋㅋㅋㅋ
-
N축 딱알려줌 8
합성함수 기본이 겉함수의 정의역이 속함수 치역이자늠? 보통 속함수를 추론시키는데...
-
친절하심
-
야호쌤 지금까지 감사했습니다
-
-
걍 얼추 n년 옯데이터 경험상 + 주변도르
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함