충격적인 발견을 함..
게시글 주소: 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를 선물하세요.
-
오티갈때 팬티는 4
켈빈이랑 떠그 언제나 준비되어있는 곰돌이
-
급등주 하면 ㅈ되는 이유
-
우웅
-
2일 넘어가면 ㄹㅇ 술 마려워지는데 금주하는분들 대단
-
하하
-
푹 자고 아침에 보자 굿밤!
-
덕코땜에출석은해야겠고 ㅋㅋ
-
외화유출범 잔다 4
컹컹
-
쪽지 많이 안해봄
-
나도 해볼까해서
-
의대가시는분들 4
올해 학교 가실건가요?
-
공스타 6
공스타 팔로우 200명 캬
-
해주나요?? 추합현황표도 안보이고 예비번호도 그대론데... 설마 한명도 안빠진건가
-
12광탈의 여파로 한 2달 죽어있다가ㅠㅠ 1월쯤부터 친구들 만나고 힐링 좀 하면서...
-
인생이 쓰다 2
술은 달다
-
ㅠㅠ
-
시작 수능특강
-
-
작수 지구과학 성적이고 올해는 사탐으로 돌릴지말지 고민인데 조언 좀 해주세요.....
-
돌아와줘...다신 개드립 안할게
1이 왜 참이죠
1번은 귀류법을 나타낸다고 생각함