충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
국장은 10
하는거 아니에요 떽!!
-
친구 옷으로 갈아입고 뽀송하게 씻고 침대에 같이 누워서 불 끈 채로 이야기하다가...
-
늘어나랏 여의봉 3
쭈욱
-
어차피 안(?) 나갈 거 같긴 한데 걍 문득 궁금해서... 암묵적인 키 입구컷 같은...
-
오늘 찍고 잔다 맞팔해주세뇨 ㅜㅜ
-
어딜 가는게 맞을까요 컴공 지망이라 냥대에 가면 전과노릴듯요
-
ㅅㅅ 7
초성퀴즈시작
-
진짜 개 잣밥임 미친 성장속도라는거임
-
첫사랑썰 4
과거로 돌아가면 기억나겠지 지금의 나는 기억이 안난다 사실 그리고 저는 첫사랑이랄...
-
여러분들의 맞팔이 필요함다
-
헤어짐 3
나에 비해 여친이 날 너무 사랑해서 요즘 죄책감도 많이 들고 부담스러워했는데 막상...
-
제발
-
연애 안해봣음 4
썸도 안 타봄 짝사랑도 안해봣음 좋아하는 사람 잇엇던 적 없음
-
도대체 어떻게 기만이야
-
짜증나죽겟음
-
아몰라 자러갈래 3
ㅂㅂ
-
언미화물2 97 95 1 97 98 이거 높반 가능한가요? 수학이 좆망했는데
-
밤에 친구랑 만나서 연애 썰 듣는데 친구가 자기 여친한테 셀카를 찍는거임 그래서...
-
하루 종일 고작 15… 인기 없어서 울었어..
-
자러가야지
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함