충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
제성해요오오옷♡♡ 18 6
오붕아. 여기와서 앉아보거라
-
4000덕 몰아주기 ㄱ? 8 0
이 분들 동의하시면 바로 룰렛 굴림
-
공대 vs 의대 1 0
정책으로 공학계 지원 대폭 올리고 의평원 압박으로 공대 정상됐다고 가정하고 지방의대vs sky 높공
-
킬러문제랑 차력쇼하고 풀이알려주는게 고작 700원이야 안해
-
올해 인문지문 첫번째부터 쉽지 않더라 ㅋㅋ
-
인강 빼고 아무것도 안되나
-
ㅂㄱㄸㅂㄱㅇㅈ 7 1
10초삭함(펑)
-
강평 ㅇㅈ 4 0
역시 국어는 대민철
-
치마들추기 8 0
흐흐
-
전문대 붙을수있을까요 0 0
이번에 서울 전문대 넣었는데 경영 4명뽑는데 예비86... 세무회계 9명 뽑는데...
-
야식ㅇㅈ 2 0
밥도 말아먹을 예정
-
어케저런일이 ㅠㅠ
-
부산대는 부산에 잇나 9 3
신기하네
-
물리1 특상 개념 질문 1 0
고전역학이 적용되지 않고 특상이 쓰이는 속도가 빛의 속도에 근접할 때라고 배웠는데...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함