충격적인 발견을 함..
게시글 주소: https://susi.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를 선물하세요.
-
e^i는 커서 cause e^i is big e^i는 복소수입니다 복소수는...
-
순위 발표 6
추카해요
-
N축 딱알려줌 11
합성함수 기본이 겉함수의 정의역이 속함수 치역이자늠? 보통 속함수를 추론시키는데...
-
라이브러리 꾸미기 함 벽에 자석으로 귀여운거 사서 붙여놓고 책상 한켠에 동물 미니...
-
교정 필수임? 3
치열은 바르긴 한데 교정하면 기본적으로 외모 많이 나아진다길래 할거면 지금해야하는디 고민되네
-
야호쌤 지금까지 감사했습니다
-
퍼져나간다 ㅋㅋ 6
ㅋㅋ
-
아 부끄러 1
원래 저런거 안하는데
-
https://youtu.be/KDorKy-13ak?si=f_vubx0RJP02ECcI&t=678
-
stfu 넵
-
대해린성별투표 2
ㄱㄱ
-
아 왤케 빡치지 11
아
-
1등 1000덕 2등 500닥
-
오랜 고민끝에 2024 한해동안 나름 열심히했던 지구과학을 놓아주게 되었읍니다....
-
뒷북인가요?
-
바탕 1회 언매 81 화작 84가 1컷이라고 뜨긴하는데, 제가 언매 95입니다....
-
ㅇㅈ하기 4
이 아이는 커서..
-
네누나
-
시발 15
개쫄앗네 ㄹㅇ인줄
-
기습 ㅇㅈ 2 18
오늘도 재탕재탕재탕재탕임요
-
ㄹㅇ
-
의치한약수 같은 거 제외하고 일반과 중에서 제일 높은 과가 혁신신약학과인가요?
-
(테러 죄송...못생겨서 미안합니다) 눈 완전히 뜨면 쌍커풀이 끝에만 조금 보이고...
-
사랑 2
평화우정
-
각 문제 이미지의 문제 번호 부분 지워서 원래는 문제 이미지 위에 문제 출처...
-
오르비할거라는생각하니까갑자기으하하하하하하
-
레어사세요 0
당근레어빼고
-
기습ㅇㅈ 28
재-탕 아 저 머리는 언제봐도 마음에 안들어..
-
경북대 응용화학과 항공대 자유전공 항공교통 전공, 관제사 생각 중 둘 중에 어디가...
-
날갯짓 하는 소리, 우는 소리 다 들려서 잠도 제대로 못잔다고 하는데 처리해"줘"
-
후회하는 것도 0
어차피 과거는 바꿀 수 없는데 미련한 짓일까 그냥 미래를 위해서 살아야지 과거의...
-
애초에 의사가 올려줄까 토요일날 가는데 고민되네 국어 이 씹새끼 잘하고싶다 진짜
-
영어 2->1 만드는법 12
3년전 평가원 더프 다 80중반 2등급이었고, 수능은 80이었습니다. 1형식...
-
잠이나 자야겠다 3
내전팟 바퀴벌레마냥 사라졌네 에휴이
-
사랑 여성주의 오만 거 다 있네 이거 재밌따
-
재수학원 2
혹시 학원 다니다 어느정도 개념 익히고 하반기쯤부터는 독학으로 하는 경우가...
-
하.
-
이해안갔는데막상이나이되니까존나부럽네현역
-
ㅂㄱㄸㅂㄱㅇㅈ 7
10초삭함(펑)
-
텍스트 형식 해설은 내 스타일이 아니라 216식으로
-
ㅎㄷㄷ
-
121 137 3 66 68(물2 화2)로 가능해요?
-
둘 다 붙으면 어디들 가시나요?
-
으헤헤 3
ㅇ흐히흐허헣
-
특정의 두려움이 생각남
-
ㅇㅈ하기 8
노엘아닙니다 운전면허없습니다
-
라면에 말아먹고 남은 밥 돼지고기 장조림(캔) 계란후라이 김치 계란은 2월...
-
프세카하셈
-
ㅈㅅㅎㄴㄷㅈㅅㅎㄴㄷ 용서해주세요
-
사문 질문좀요 0
임정환t 들을려고 했는데 윤성훈t 평이 좋아서 고민되네요...두분 처이점이라던가...
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함