충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
사랑해요 5 0
행복하세요
-
내가 보기 싫으면 차단을 하셈 4 0
뭐라하지말고
-
나도 강남 살고 싶다 0 0
나도 강남갈래 ㅠㅠㅠ
-
기만하고싶다 3 0
그치만할수있는게없는걸
-
오르비 안녕히주무세요 18 3
내일 7시 기상해야해서... 하 진짜 새르비 꼭 금욜날 새르비 할게요 ㅠㅠ 그럼 이만..
-
? 저만 처음보나요 이 문구 7 1
ㅈㄱㄴ
-
크앙 심심하당 6 0
크아앙아앙
-
방금 실수로 와꾸 찍어버림 5 0
크윽..
-
토요일 아침 11시에 기분 좋게 일어나서 컴오히2 한판만 하고 공부할려고...
-
롤 잘하고 싶당 3 0
프로들 만나던 때로 돌아가게 해줘
-
봇치쨩의 경멸을 보고싶지않으면 주장철회 ㄱㄱ
-
N년만의 일본 노천탕 22 6
별도 많고 달도 크고 동글동글해서 대만족이에요
-
확신의 mbti 18 2
그래그래 너는 계획이 없구나
-
슬퍼하지마요 모쏠분들 5 0
언젠가.. 한번은.. 아마도..??
-
우울에 비례하여 7 0
커뮤를 더 마니하는듯 물론 내 경험담이고...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함