모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
예를들어 x<=1인 모든 실수 x에 대하여 fx<=0 이다. 이런 조건이 있으면...
-
실모벅벅 하고싶은데 그러지 마래 우기분 문학 언제 개강해!!!
-
오리비 티비로 돌아와줘요
-
현역 수시러 의대 준비하고 있습니다 지역 의대라도 상관 없고 내신이 1점 극초반은...
-
ㅇㅈ 해도됨? 4
많이 보나? 지금 해볼라고
-
22DRX 23T1 24HLE 그들의 서사가 나를 미치게한다...
-
최저도 3합7인데 지역 순혈만을 위한 입시제도 공정한 제도 맞음??
-
수학 실모 회독? 10
수학 2목표이고 매주 한회씩 현강에서 실모 보고 있는데, 나중에 풀었던 실모 다시...
-
오랜만에 체중쟀는데 살이 미친 20kg가 빠짐.. 이러다가 수능 전에 쓰러질것같은데...
-
단심가 ㅋㅋㅋㅋ
-
투데이 300까지 늘었네 근데 안써도 매일 200씩찍히긴함
-
접점이 별로 없는 사람한테 연락하려면 뭔 얘기해야하지 5
실제로 만날때는 얘기 잘하는데 연락은 거의 안함 좀 더 친해지고싶은데...
첫번째 댓글의 주인공이 되어보세요.