충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
과 후배한데 백을 사야 하는데 잘 몰라서 도와줄 수 있냐고 했는데 (예전에 비트코인...
-
연애 mbti 3
보닌은 잇티제임
-
올해 수능보는 현역입니다 선택과목은 확통입니다 미적 하고싶었는데.. 선행 안해놓아서...
-
왜 그런 거임? 휴지로 막힐 정도면 그거는 내려가나?
-
해볼까
-
이런질문 좀 민망하지만 제가좀 진지하게 많이 중요한데 새터 첫날 지드래곤 티켓팅...
-
국어강사들 들어와라 기조를 바꿀 때 그 기조에 맞지않는 공부 하다 점수 박살나는게...
-
문제 접근방식과 사고흐름을 잘 설명해주시는 분이면 좋겠어요
-
내일 먹을까 너무 땡기는데 뜨근한 국물에 순대 싸악
-
드뎌 힘들었던 삼수 생활도 이제는 정말 종착점에 해당했네요 이 글을 읽는 모든...
-
수능 5번 보고 성대 가는데 성대도 좋은 학교겠죠? 7
연대 못 간 게 피눈물 나긴 하지만... 군필 25에서 다시 열심히 살면 성대에서도...
-
존나비싸네그냥
-
이건 일단 단계부터 빡셈 1.친해지기 2.좀 더 친해지기 3.전화번호받기...
-
ㅇㅇ…
-
연애를 안해봐서 2
그 감정을 나도 느껴보고 싶다
-
수의사저거
-
국어가좃같은데반수접을까그냥
-
ㄹ
-
컴플렉스 시발 10
할거도 못하고 거울앞에서 3시간날림
-
잠이안와요 2
왜지
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함