충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
나같은 사람 있을까?? 2 1
본인 03이고 고딩 때 내신도 나쁘지 않은 편이었음.(이과) 수시로 고대1차랑 성대...
-
ㅜㅜㅜㅜㅜ
-
케이에프씨 치킨나이트 개꿀이네 1 0
우웅 야무져
-
현역이고 영어공부 자이스토리 걍 혼자 푸는거 말고는 안해봄 근데 자이도 ㅈㄴ틀리고...
-
빈란드 사가. 이제 그만 잊어라 토르핀. 나는 아르토리우스다 아이 헤브 노 에너미
-
서버 왜이래 11 0
-
저거 남녀 바꾸는 필터임 2 1
그동안의 행적을 보면 여자면 큰일남 ㅇㅇ
-
남자가 여장한거라고 우기라노
-
비하가 아니고 좀 종이 다른거 같애 걔네가 허수인건가
-
수2만으로 풀 수 있나
-
과외 자료 만들거나 or 기출 관련 학습하면서 불편했던 점 있으심? 10 1
댓글로 얘기해주시면 아이디어 가져와서 만들어보든지 하겠음ㅎㅎ 너무 노가다였다든가 등등
-
그 명제의 대우명제나 그 명제의 부정형 같은걸 만들어서 논리규칙들도 적용해보고...
-
시대기숙 궁금하네 0 0
전액장학 가능한데 함 찔러봐?
-
지인선 n제 7 0
난이도 어느정도인가요? 4규하고 바로 할 정도인가?
-
그게 나야 바 둠바 두비두밥~ ^^
-
칸타타가 ㄹㅇ 악질인데 3 2
꼬시고 도망만 감
-
비틱한다 4 0
저녁 삼겹살
-
중요한 일 때문에 머리해야할 때 지원하면 좋음 할인이거나 본인이 좀 생겼다면 전액...
-
국민연금 엔비디아 팔았노 1 0
ㅋㅋ
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함