충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
지랄 ㄴ 8
지랄 ㄴㄴ
-
심심해 5
이럴때 썸녀랑 디엠하고 싶다
-
나랑체중바꿀사람
-
장전은 되어 있는데
-
ㅇㅈ 7
펑!
-
무물보 11
암거나
-
잘자요 오르비 4
방금왔지만 갈게요
-
순순히 어두운 밤을 받아들이지 마오. 노인들이여, 저무는 하루에 소리치고...
-
아 춥다 스벌 2
우어어
-
기병 is so cute 이거 아직도 하시나요? ㅈㄱㄴ
-
과외구할때 4
수능성적표에서 망한 과목 가려도 상관없을까요? 오히려 더 이상해보이려나.. 그냥...
-
게임을 왜함? 4
진짜모름
-
호감 비호감
-
오르비 기준으로 했음
-
세개는 빡세다
-
ㅇㅇ
-
연애메타인데 3
지금 헤어지고 있음 존나 쳐울면서 나 너무 한심하다 진짜
-
난이도도 낮고 공부량도적고 표점방어도 잘되는 지구과학 다음으로 혜자과탐은...
-
다 만족함?
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함