모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
한수 9차 후기 2
독서론 화작 문학 독서 ㅈㄴ 골고루 틀려서 65점ㅅㅂ... 멘탈 갈린다 왜케 어렵지
-
현대시 질문 3
기출인지는 정확히 기억 안 나는데 찌개는 끓여져 있는데 함께할 대상이 부재했고,...
-
생1 지1
-
어려운거 먼저풀래 *수정:시즌2
-
나처럼 알레르기 있는 사람들은 지금 보면 답이 없음. 특히 국어 영어처럼 컨디션 많이 타는 과목..
-
트루먼쇼인가?
-
오답할 거 많아서 돈 안 아깝고 좋네
-
수능수학 기출 1
수시 최저러라서 2~3등급정도만 받으면돼서 쎈빠르게 끝내고 기출풀라고하는데요 기출문제집 머가좋을까요
-
님들 제가 내신이 진짜 잘해도 bb 까딱하면 cc도 나올것 같은데 이런 싱태면...
-
큰일났다
-
예아
-
좋은 아침이에요 5
-
하 넷플보고싶다 0
흑백요리사 재밌다던데
-
비문학 지문의 배경지식이 없을 때 - 기술 지문 특집 1
안녕하세요 독서 칼럼 쓰는 타르코프스키입니다. 비문학 지문을 읽을 때, 배경지식을...
첫번째 댓글의 주인공이 되어보세요.