모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
제가 69평은 다 1등급컷을 (언매 원점수 86, 96) 맞추긴 했는데 이감만 치면...
-
처녀론자라서 그런가봄
-
올리면 평균올리는 꼴일까봐 두려움
-
수1문제 질문 3
이렇게는 못푸나요..? A의 x를 t라고 가정하고, A의 y+6=B의 y 를...
-
모든것이 존재하는 원인은 모든것이 존재하기 전에 있다 그런데 모든것이 존재하기...
-
수학 4등급 허수입니다.. 미적분 공부를 너무 소홀히 해서 수능때 28 29 30은...
-
여자 후배가 인사할 때….. 나는 남자랑만 6년 부대껴서 그냥 여자도 무서워...
-
천만덕 가쥬아
-
물론 시즌1에 비해서긴한데 ㅇㅇ.. 9평 반영인가
-
25학년도 피닉스 공통 모의고사 정오사항 링크입니다....
-
그래서 나중엔 논리학과목 한개로 모든과목이 통합될거라봄..
-
풀다보면 서바 문제네 싶은것들 몇개 꼭 들어가는거 같음
-
인강판에서 혼자만 마스크쓰는 거 아 닌가
첫번째 댓글의 주인공이 되어보세요.