충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
벌써 새기분 개강이야? 0 0
빠르네
-
ㄱㅊ 박아주셈뇨 14 5
개추 박아주세요
-
안녕하세요. 긴 수험생활을 이제 마친 대학생입니다 아마 지금 쯤부터 n수에 대해...
-
선택과목 뭘로 하지 10 1
생1은 할 것 같고 정시도 조금 생각해야하는데.. 그냥 3학년 때 고를까......
-
투데이 is 발렌타인데이 2 0
2.14
-
시대 기숙 누가 600이래 2 1
397만원이구먼 교재비빼고
-
저 ㄹㅇ 고닉인가요 6 1
08인데 고닉이라니 맙소사
-
계산 진짜 뭣 없음
-
인하 vs 동국 11 0
인하대 자유전공 -> 전기전자 동국대 자유전공 -> 전기전자 학비 걱정X, 인하대...
-
좇같은 열등감 30 3
이것 때문에 3시간을 아무것도 못하고 날렸네
-
빨리 에피 1 1
받고싶다... 며칠전에 신청했는데...
-
재업)라유의 성별은? 2 0
흐흐
-
비문학도 기출이 최고임요? 5 1
피램 미친듯이 회독할까
-
만쥬 먹고 싶다 5 0
일본에서 먹을걸
-
언미물2화1 조합으로요 11 1
설의와 연의를 붙으려면 요번수능에서 각각 몇점을 받아야하나요??? 언미를 다맞고...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함