충격적인 발견을 함..
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를 선물하세요.
-
노엘ㅇㅈ 11
한달 전인데 머리 진자 덥수룩햇내.. 지금은 많이 가벼워짐
-
또 나만 ㅂㅅ됐네
-
N축 딱알려줌 11
합성함수 기본이 겉함수의 정의역이 속함수 치역이자늠? 보통 속함수를 추론시키는데...
-
아 왤케 빡치지 11
아
-
천연가스야 떨어져라
-
짐승임?
-
점이 아홉개 잇는데 그걸 지나는 원임
-
라면에 말아먹고 남은 밥 돼지고기 장조림(캔) 계란후라이 김치 계란은 2월...
-
좀 비싸긴 해도 그만한 디저트가 없어
-
이론상 국어 잘하면 전과목 잘해야 하는 거 아님? 14
독해력 이해력 좋아지니까 근데 이론이랑 현실은 달라
-
제발 한번씩만 더하면 안될까요 부탇이에요
-
거짓말하지마라
-
좀 더 가야겟는데쇼앤프루브 기준이 많이 높긴함
-
자러가겠습니다 6
내일 봐요
-
번아웃온거같음 6
아무리 공부를 잘하고 선망받는 타이틀을 따도 결국 나는 그때의 한심했던 모습 그대로...
-
절 믿고 1000덕을 쏴주신분께는 1500덕 지급하였습니다 12
좋은 일 했다
-
한티 맛집 ㅊㅊ 7
롯데백화점 푸드코트가 제일 나은듯요 맨날 햄부기 먹다가 가끔 특식 먹으러 들어감… 돈까스가 개고트임
-
진짜 쌍커풀.. 9
. . . . . . . . . . . . . . . . . 쌍 커플...
-
ㄹㅇ
-
요새 안와서 잘 모르시겠지만… 부탁드립니다
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함