충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
ㅇㄷㄴㅂㅌ
-
가보자가보자
-
여기 수준이 너무 높네 19
다 국수90몇 탐구 50 47이네 역시 최상위권 커뮤니티 중상위권은 없나
-
... 사실 오늘은 아니고 두시간 뒤.. 축하해 줄...
-
결국 과외 구하는 것도 하나의 셀프 마케팅이자 셀프 브랜딩임 사실 갓 대학생이 된,...
-
연애 관련 고민 19
옛날부터 있던 고민인데 저는 썸에서 빠르게 연애로 넘어가면 오래 못 갈 거 같다는...
-
왤케 텐샨업 흥분되죠
-
사실상 다 엔수생인데 이거 무보정 1컷은 ㅅㅂ ㅋㅋ
-
저작권 이슈로 인해 문제 발문은 올리지 못하는 점 양해부탁드립니다. 8번 ㄷ선지에서...
-
D-233 1
수학 원순열 복습(18문제) 중복순열 복습(29문제) 같은 것이 있는 순열...
-
배달음식추천좀 4
별로 안비싸고 배 채울만한 좋은 음식
-
날씨 꼬라지 1
아침부터 미세먼지가 에효
-
미적 물1 화1 92 50 42입니다
-
요즘에 개호감인 사람 15
삼록이 <<<< 뭐하시는 분인지는 모르겠는데 그냥 공부기록 남기시는데 매일매일...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함