충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
쎅su 마추기 1 0
이힣
-
외대 vs 경희대 12 0
경희대 자유전공학부와 한국외대 LD학부를 모두 합격했는데 어디를 추천하시나요....
-
오늘 여성시대에 글 올라오려나
-
노베 확통이랑 수1수2 1 0
수학 4~5인 예비고3 노베인데 현재는 수1수2랑 다른 과목 공부 하는 중입니다...
-
아 졸려 0 0
괜히 늦게 잤나봐
-
반쯤 만들고 느끼는데 이거 작가연계 N제 수준인데... 작품이 겹친 경우는 별로...
-
여러분 입에 김 묻었어요 1 0
잘생김 ㅎ
-
기습 ㅇㅈ 1 0
외큵릮?
-
님들은 수능볼때 카페인 먹고갔음? 20 0
갑자기 궁금해짐
-
님들아 뱃지가 뭐임? 8 1
먹는거임?뭔진 모르지만 나도 줘
-
메타에 묻혀서 답을 못 받으시겠네등..
-
오르비에 신상을 왜 까는거임? 2 1
흠..
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함