충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
걍 탈릅할까
-
아니 메인딥피드 언제갔어요 4 1
일부러 모밴으로 했는데..
-
정시 추합되면 새터 못가나요? 2 0
?
-
과외러 출근 0 0
오늘은 퇴근 못하는날 ㅠㅠ
-
01이면 늙은건아니지 3 0
21세기는 늙은거 아님 ㅇㅇ
-
부모님이 입학처에 전화해서 합격여부 알 수 있나요 0 0
부모님이 입학처에 전화하면 제가 대학 등록했는지, 합격했는지 여부 알려주나요?...
-
지구황들 질문이요 ㅠㅠ 10 0
이거 ㄱ이 왜맞나요? 남반구에서 지자기 남극이면 복각이 + 되는거 아닌가요?
-
존나 자비로운 입시 전형임 정시에서 국어 2.7 나왔다? 국숭 열차임 걍
-
뿌직 5 0
뿡
-
1. 초딩 때 같은 영재원 다녔던 애 2. 입시판에서 알게 된 유명한 분 기대가 된다
-
의한대전도 ㄱㄱ? 3 0
시작하자 롤 내전구함 TEAM 의대 VS TEAM 한의대
-
5월 달에 대전가볼까 4 0
성심당 가고 싶어요
-
내성적인 성격 금융권 16 5
금융권 중에서 Sell-Side 성격이 강한 증권사 IB(기업금융), 법인 영업...
-
나 12년개근인데 3 0
ㅁㅌㅊ?
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함