충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
히히행복하다 0 0
23드릴수2 2단원12개 풀어서 2개빼고 다품크하하 2시간 50분이 걸렸긴한테...
-
여왕벌이 뭔데 8 1
여왕한테 벌을 왜내림
-
과탐 6모 이후로 시작하면 늦나요? 23 0
현역이고 목표 1등급인데 6모 이후로 개념 기출하면 너무 늦나요.?
-
ㄹㅇ아무것도못하겠음 그냥누워서 시체처럼있는게 하루의끝이다
-
미국의 유명한 모 브렌드 가게 옆 입니다만 고소 당할까봐 정확한 브랜드명은 말...
-
컴퓨터 견적 맞추기 칼럼 2 5
쓰면 볼사람 좋아요로 민심확인함
-
본인 이미지 평가 ㄱㄱ 2 0
착하고 세레브함
-
끝인가요 0 0
후회만 남은 사랑
-
고1 수학 다항식 자작문제 평가해주세요! (수정) 2 1
동아리 주제로 자작문제를 만들게 될 것 같아서 만들어보았습니다! 피드백 부탁드립니다!
-
절반 정도 지난 시점이라 한번 들릅니다. 끝나면 25개 대학정도 될 거 같아요....
-
하긴 벳지꺼지 달아주는데 고닉 안할 이유가 없기도 하네..
-
왜 헷갈리는거야
-
경희 VS 시립 6 0
현역 경희대 화공이였는데 반수해서 상향 2개는 떨어지고 시립대 첨단인공지능 붙었는데 가는게 맞지?
-
걍 분위기도 존나 불편하고 말 안됨 이거 휴 다니던 스카나 가야지 낼부타
-
그래야 좆인줄앎
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함