충격적인 발견을 함..
게시글 주소: 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컷은 ㅅㅂ ㅋㅋ
-
저작권 이슈로 인해 문제 발문은 올리지 못하는 점 양해부탁드립니다. 8번 ㄷ선지에서...
-
D-233 1
수학 원순열 복습(18문제) 중복순열 복습(29문제) 같은 것이 있는 순열...
-
배달음식추천좀 4
별로 안비싸고 배 채울만한 좋은 음식
-
날씨 꼬라지 1
아침부터 미세먼지가 에효
-
-
요즘에 개호감인 사람 15
삼록이 <<<< 뭐하시는 분인지는 모르겠는데 그냥 공부기록 남기시는데 매일매일...
-
통계학과 사탐런 질의 14
안녕하세요 정시로 생명 사문 응시하는 고3 입니다. 우선 생명 사문 실력같은...
-
사탐 뭐하는게 좋을까요 ㅜ 생윤사문인데 사문 버리고 다른거 하나 하려구요.....
-
으히히히 감사합니다ㅏ
-
[자료배포] 수능특강 화학1 화학식량과 몰 문제선별 및 손풀이 14
사실 1단원 전부하고 올릴려했는데 문제편집을 처음해보니까 이거 피로감이...
-
의대 형님들 근데 증원도 취손데 왜 학교를 안가용?.. 10
나 진짜 몰라서 물어보는건데 내가 모르는 뭐가 잇나 증원도 취손데 또 휴학때리면...
-
두원공대면 ㄱㄴ?
-
생2 개념 9
뭐로 떼나요? 이주연t만 들어도 됨? 백호까지 들어야 될까요?
-
롤 한판할까 4
올래이프 해볼까 오랜만에
-
내일 점심은 짬뽕이다
-
안녕하세요. 한방국어 조은우입니다. 오늘은 3월 모의고사에 대해서 얘기하려고...
-
-
아오 과제 끝 4
진짜 매주 월요일이 고통이다.
-
진짜 순수 노잼이네
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함