충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
오랜 생각이다
-
클럽가서 놀래
-
돌아가구싶다 2
나 돌아갈래
-
진짜 평생친구를 목표로 운영함. 참고로 방제는 연막용임
-
야 10
야
-
해보도록 해야지
-
60분 잡고 한회차에 1~2개씩 틀리는 수준이면 어떤 공부를 하는게 좋을까요?
-
2명만 더빠지면 돼요 20
ㅅㅂ공으로만 빠져주면....
-
술주정 2
말 요약해서 하기 손목 비틀기 쌍욕하기 죄송합니다
-
해축 시도해보고 싶음 14
돌이킬 수 없는 강을 건너는건가
-
주식 고수의 가르침을 주세요
-
오르비 안녕히주무세요 15
새르비 복귀까지 단 하루.
-
올드보이같은 영화 없나.. 올드보이 처음봤을때 그 소름돋는 기억 못잊겠어
-
섭3주자 서브 330주자가 대체몇명이야 ㅡ여기들어가면 서브3주자에게 배울수있는건가
-
오늘의 기출 5
-
이게 남들 연애썰 하나씩 들을때마다 기억이 되돌아와 뭔가 기억하면 안될게...
-
이거 어떻게 못하나요? 실명이랑 생년월일을 다르게 입력해서 다시 정정하려고 보니까...
-
굿나잇 2
ㅃ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함