충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
건강검진 오피셜 +) 계산 틀려서 제목 수정함 ㅋㅋㅋㅋㅋ
-
윤사 vs 사문 3
생윤러인데 쌍윤 시너지 이득볼지 사문으로 학습량 줄일지 고민됨
-
저출생 쇼크 여파…2024년보다 늘듯 ‘젊은 도시’ 세종도 신입생 ‘0’ 학교...
-
질문해드림 22
ㄱㄱ
-
숭자전 갈거같은데
-
ㅋㅋㅋ
-
오수라는 단어의 폭력감이 너무 강함..
-
선택장애어떡함 4
ㅠㅠㅠㅠㅠㅠ
-
강남대성 유시험 전형 통과했고 거의 노베에요 어머니께서는 너가 공부를 잘하는 편은...
-
풀이방법은 ㅈㄴ똑같거든 위에 문제는 각각의 실근은 중근이다.라는 표현이 있는데 왜...
-
지인들한태 안 뜨나요?
-
이다지 개노잼임 권용기나 ebs 들으셈
-
저는 작년 6,9평이랑 수능이 좀 쉬웠다 어떻다 그건 저는 잘 모르겠고 솔직하게...
-
숫자정리가안돼 ㅠㅠ
-
한 단의 첫 문제가 한단의 40%를 넘지 않으면 두 문제를 넣도록 해놓음ㅎㅎ 그리고...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함