충격적인 발견을 함..
게시글 주소: 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보단 밑으로 갈듯..? 찐폭까진 아닐듯하네요 오히려 중문이 복병이었던듯;;;...
-
자퇴 사유 질문 4
타교 진학으로 해도 불이익같은건 없겠죠?
-
서강대 or 2
어디서 만나서 가는거?
-
4월에 도쿄에서 2
옵만추 하실분
-
경희는 글로벌커뮤니케이션이고 4반수를 하게 된다면 목표는 서성한 상경계열 또는...
-
언매 5
지금 언매 시작하면 너무 늦나요,,? (쌩노배꺼지는 아니예요)
-
카페인과 험께
-
-
뭐하는 놈일까?
-
[칼럼] 정의 5
안녕하세요. 다들 수능 준비는 열심히 하고 계신가요? 저는 복학 준비로 여러모로...
-
으흐흐 오늘 한 5명한테 피부칭찬들음
-
가고싶은 곳이 서울대면 무조건 과탐 투투 해야하나요..? 10
아님 투원도 괜찮나요..
-
인식이 안좋은것 같아 마음이 아파요
-
친구들의 최후를 매번 봐야 함... 인간에 대한 배신감과 분노로 인해 죽창으로 변해서 찌를수도 있음
-
아 진짜 좆같다 2
온세상이 억까를 하네
-
UAA&DCAF 팀에서는 2월 초에 나온다고 했는데 3월 전에는 나올까요
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함