충격적인 발견을 함..
게시글 주소: 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
여친 오빠가 서울예고 졸업하고 미국 음대 학부유학으로 갔는데 돈이 장난 아니게...
-
하루 종일 고작 15… 인기 없어서 울었어..
-
자러가야지
-
이럴수가
-
반말써주세요
-
우울증이나 정신질환이거나 집착있으면 못사귈듯 방금느낌
-
지랄 ㄴ 8
지랄 ㄴㄴ
-
심심해 5
이럴때 썸녀랑 디엠하고 싶다
-
나랑체중바꿀사람
-
장전은 되어 있는데
-
ㅇㅈ 7
펑!
-
무물보 11
암거나
-
잘자요 오르비 4
방금왔지만 갈게요
-
순순히 어두운 밤을 받아들이지 마오. 노인들이여, 저무는 하루에 소리치고...
-
아 춥다 스벌 2
우어어
-
기병 is so cute 이거 아직도 하시나요? ㅈㄱㄴ
-
과외구할때 4
수능성적표에서 망한 과목 가려도 상관없을까요? 오히려 더 이상해보이려나.. 그냥...
-
게임을 왜함? 4
진짜모름
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함