충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
크하하 난 교대생이다 10 2
ㅈㅅ
-
난 수능도 잘보고 대학도 붙었는데 왜 우울하지 17 2
그냥...모르겠음
-
나는 뽀로로인디 로보카폴리인가
-
잉태해라 14 0
(실제 축구만화 대사)
-
전한길.... 3 0
화이팅!!
-
킹북대 ㄷㄷ 3 0
킹북대 개쩐다 ㄷㄷ 물천열차님이 그리워지네요...
-
이명학 신택스 알고리즘 작년이랑 내용 똑같나요? 1 0
작년 책 써도 상관 없나요?
-
생윤 이러케 하면 1나오나? 2 0
임정환 풀커리 + 현돌? ...사탐 공부는 한번도 안해봐서ㅓ..ㅠㅠ 혹시 사문은...
-
수시러들 진짜 존경함 8 1
정확히 말하면 일반고 학종러들 1학년때부터 몇몇 쌤들이 학종가지고 은근슬쩍...
-
으흐흐 6 0
쿠후후 쿠쿠흐
-
26수능화1만백99기원11일차 0 2
-
메인 기준이 머임 5 1
딥피드임? 추천을 많이 보는 게시글임? 도대체 어디얏
-
요즘 다 성형하네 1 0
자연미인 찾기 어려워 좀 그렇다
-
다정 책 좋아보이는데 0 0
함 봐볼까
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함