모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
구해요
-
ㅇㅇ 사실상 주말에 단과나 그런거 있는거면 50일이 아니라 35일 남았다고 봐야지
-
뉴런 0
26뉴런이 개정되서 나온다고 했는데 현재 25 뉴런 수1 보유 중인데 이번에 듣고...
-
살짝 봤는데 너무 어렵던데 맞나요?
-
드릴5 수2 3
미분파트 그냥 아예 못풀겠는데 드릴4한번 더할까요? 정답률 한 30나오는듯
-
지역할당제 반대... 서울시교육감이 할 수 있나?
-
단락에서 주제 찾기 It is …. that ~~~ : ~~~한 것은 …이다 (It...
-
날씨 지린당 1
이제 좀 살 맛 나네
-
이미지를 써주고 싶은데 72
제대로 기억안나는 사람들이 있을 것 같아가지고 못해주겠음 휴릅 복귀 반복하는 사이에...
-
11회 존나 어렵네
-
재밋네..
-
만약 번호를 바꾸면 수시 원서 넣을때 입력한 번호는 어떻게 해야되나요?
-
경한원광한동의한우석한가천한 나를받아줘 크아악
첫번째 댓글의 주인공이 되어보세요.