충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
수리논술러 국어도 해야됨?? 1 1
국어 ㅈㄴ못하는데 최저 다른걸로 맞추면 되잖어
-
화학같은 특이케이스 제외하면 12~15%정도 줄었는데 더 가속화되려나요
-
드디어 완성, 2026 수능 기하 태도정리노트 45 44
오르비 회원 여러분 안녕하세요. 기하러 ㅋㅅㅋㅌ입니다. 정말 오래 기다리셨습니다....
-
전공인데 티오가 0이면 3 0
뭐 어쩌라는 거냐 개씨발진짜
-
난 일단 하루 공부 다 끝냈는데 먼저 못나간다는게 그냥 개석나감
-
7가이 2 0
?
-
매년 신기한 게 7 0
오르비에 상주하면서 성적 잘 나오는 현역들은 ㄹㅇ뭐임 차원이 다른 고능아인건가 난...
-
어려울려나
-
님들은 똑똑하니깐 봇치2기 언제 나오는지 알고있자나 좀 알려줘
-
챗지피티 위험한 소리 하네 2 1
ㅋㅋㅋㅋㅋㅋ
-
항우울제 잘모르겟어 9 2
아니면 먹어서 이정도인건지
-
연대는 신촌캠도 3 0
연대는 신촌캠 합격자도 1학년 전원 송도에서 수업듣나요?
-
머스크 "자유유럽방송·미국의소리 폐쇄해야…누가 듣는다고" 14 3
(서울=뉴스1) 김지완 기자 = 도널드 트럼프 미국 대통령의 최측근으로...
-
나 키빼몸 90대네 11 0
하하 자살 마렵군
-
아 제 글 보고 있으면 사과함 6 2
죄송해요.....진심 아니였어요.....
-
아주vs인하 10 0
아주대 첨단바이오융합 인하대 첨단바이오의약(4년장학) 아주대 첨단바이오융합은...
-
홍익대 인문 자전 4 0
홍익대 인문자전 예비39번 1차 추합 가능할까요?
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함