모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
기출은 보배다 0
기출은 여러번 봐서 완벽히 내 것으로. 그게 안되면 암기를 해서라도 내 것으로...
-
중버기 2
빨리 씻고 독서실게
-
기구하다 0
슬프군아
-
틀튜브로 수익 내면 수능판 뜬다
-
올해 수능샤프 0
미래임? 아니면 바뀜요?
-
메이플 환불액 1
만캐시도 안되네 다행?인건가
-
유튜브에 그 분이셨구나 한동안 내 쇼츠에 많이 나오셨는데
-
6교시만되면 졸림.,.
-
전건긍정규칙이 되려면 P(참or참동거) 조건문(참or참동거) ->Q(참or참동거)...
-
*수시 반수 잘 아시는 분께서 답변 남겨주심 감사하겠습니다* 반수생각있는 수시생인데...
-
과연 어떤 글이 올라올지 총대 메신다는데 ㄷㄷ
-
질문받음 16
-
출처:...
-
6모이후 기하런이라 기출분석 찐하게 했고 이제 엔제 한권만 찐하게 풀고나서 실모...
-
전 대학에선 애니 동아리 자주 다녔는데 다른 대학들은 인식이나 분위기 어떤지 모르게슴
-
댓글보다가 궁금해서 적어봄 실제로 개정 직후인 22는 23이나 24에 비해 여러모로...
-
아수라 들으면서 국어 실모 총 30개정도 풀거같은데 강k에 더해서 풀만한 실모...
-
hello 0
mr my yesterday
-
아 잘잤다 1
개운?해
-
벽느꼇다
첫번째 댓글의 주인공이 되어보세요.