충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
오르비 글리젠이 역대급으로 줄어든 지금 망한 오르비를 구원하기 위해 등장한...
-
한양대 뱃지도 잇는데 롤도 존나 잘함
-
너무 맛없음.
-
난 마스에 물렸다 시발
-
추천해주세요
-
어쩌라고
-
900만덕이다
-
소..솔직히.. 5
메가패스에서 인정해주는 대학라인까지 뱃지 만들어야한다고 생각해요
-
정석민 김범준은 못버릴거같은데....ㅠ
-
지금 오르비에 잇는 사람 다 현역으로 간주할게
-
할라면 윤곽인데 뼈 자르는건 너무 무서움
-
이제 올해 고1되는 애들부턴 5등급제 + 역행렬은 없는데 행렬은 들어옴 + 이제...
-
허수형 치킨 두조각 남음 어쩌고 시우 : 찾아오는 서비스는 없나요 용혁 : 딱히...
-
지금 이제 아이디어 끝나가고 공통은 기생집이랑 커넥션 갈거고 미적은 기생집이랑...
-
고1때 정시파이터 하겠다고 가입하고 까먹음
-
ㅇㅈ하기 4
이 아이는 커서..
-
추합돌거 보면 이제 객관적으로 서울 경인 빼고는 인서울급으로 보면 안됨
-
이제 이 메타는 이글을 마지막으로
-
경북대 응용화학과 항공대 자유전공 항공교통 전공, 관제사 생각 중 둘 중에 어디가...
-
외화유출범 5
월월
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함