모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
이런 사람도 있나요?
-
수시 합격 나오나요? 서울대는 수능날에 보통 1차 결과나오던데
-
https://orbi.kr/00069260991 여기서 적었듯이 저는 수학이...
-
수악 실모 완. 4
밥 먹어야지
-
국어 3나오는데 9평 블록체인만 3틀이에요...
-
봐줌? 평균변화율 원리만 알면 순간변화율 그리고 절댓값함수의 평균변화율 문제는 그냥...
-
D-40부터 진짜 열심히 할게.. D-30부터 진짜 열심히 할게..
-
그럼 공부는 취미가 되겠죠..
-
상상n제 하프모고 형식인거 푸는중인데 난이도가 쉬운 거 같아서.. 이감은 좀 더 어렵나요?
-
수시충들은 진짜 ㅋㅋ
-
#15 16
-
600넣었는데… 3달 존버중 하 진짜 탈출하면 바로 미장에 시드 추가 ㄷㄷㄷ
-
글리젠이랑 댓글수에비해 글 조회수가 너무 높은데 신기함
-
왜 25때 그러시는지….
-
수능 페스티벌 D52
-
76분 20번틀 96 근데 +무한대로가야되니 (x-1)^홀수제곱이여야되는건...
-
1000명인 과목에 200명이 0점 깔아줘도 만표 같거나 떨어진다 이러고있네...
첫번째 댓글의 주인공이 되어보세요.