모든 명제가 참이면 무모순임을 증명
게시글 주소: https://orbi.kr/00069265597
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률
[(A=A)를 부정]<->[(A=/=A)가 참]
A=/=A이면 무모순
따라서
A=/=A는 무모순
무모순율
[(not(p and not p))를 부정]<->[(p and not p)가 참]
(p and not p)이면 무모순
(p and not p)가 참이고
공리를 부정하면 무모순이기 때문에
[(p and not p)이면 무모순]은 전건과 후건이 모두 참임
즉,
(p and not p) and 무모순
즉,
모든명제가 참이고 무모순이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
우리 처음 만났던 어색했던 그 글들속에서로 말놓기가 어려워 망설였지만뻘글속에 묻혀...
-
수학 N제 0
하사십S1, S2, 드릴4 중에 하나만 더 하고 실모 양치기 갈 생각인데 어떤 거...
-
왜 이렇게 빡세지?
-
작수미적은 안된다
-
시발 좆같네 0
케이스 나누고 그래프 그리면 딸깍인 문제를 ㅅㅂ 어휴
-
부 진 장 강 곤 곤 래 씨발 알리바바햄 믿고잇엇다고
-
-
확통 0
확통 김기현쌤 아이디어 2회독 어삼쉬사까지 풀었는데 기출생각집 교재가 품절이라...
-
영수는 학원다니면서 해내고있는데 딴과목조짐. 영수제외 평균3으로 벼락치기 가능할까yo?
-
사문 제일 잘 가르치는 강사였던 거 팩트 맞고 나도 이지영 임정환 손고운 최적 등...
-
식은 땀 엄청 났네
-
전기쥐한테 좋은말 해주기 메타!
-
언매이고 3모부터 32231이고 9모 공통다맞고 언매만 2개틀렸습니다 겨울방학때는...
-
나진환은 후기가 별로 많지 않네
-
질받 9
ㄱ
-
수학 통합된 이후 가장 어려웠던 공통 시험지가 뭐임? 6
6모 9모 수능만 포함해서 개정이후 가장 어려운 공통 시험지가 뭘까요? 미적은...
-
노트를 집에 놔두고 패드만 들고왔네...
-
-
후후 2
방금 전에도 토함으로써 이젠 토할 내용물이 없다 이건 몰랐겠지
-
저메추 부탁
첫번째 댓글의 주인공이 되어보세요.