모든 명제가 참이면 무모순임을 증명
게시글 주소: 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를 선물하세요.
-
https://youtu.be/bcIk_qfrEJw?feature=shared 와 소재보소
-
내일 연세대에서 저를 찾으시면 실모를 무료로 드립니다 38
제가 직접 치는 것은 아닌데 많이 가까운 사람이 응시하러 와서 길 안내겸 같이...
-
까봐야 아는 거겠지 과제 언제하지?
-
잘지말지 고민중 4
4시에잘까 지금잘까 4시에자면 패턴 망하려나?
-
이감 짱나네 0
풀컨디션으로 안치니깐 운용 괜찮게 한거같아도 시간끌리네..
-
중국같은데 빼고는 거의 서방이나 선진국으로 분류되는 국가들만 갔는데 이제는...
-
어제 무의도기행듣다가 진짜 암걸려뒤질뻔 천명이가 너무불쌍해서 진짜 이때까지 들엇던...
-
엔티켓 0
엔티켓 시즌1,2를 다 풀어야할까요 원래는 4규 이해원 문해전 풀고 드릴전권풀려했습니다
-
자퇴 예정인 07입니다. 문학개념어나 고전같은 거도 잘 모르는 상황입니다. 기출...
-
안자고 뭐하는짓이지 솔직히 가망없는거 아는데 복권긁는심정으로 가는거라.
-
-
아기 현역 인증 10
휴..힘들었다
-
https://orbi.kr/00025889377 ..
-
돌연변이 가계도 다 풀 줄 아는데 준킬러에서 시간을 너무 많이 빼앗겨서요 그냥 실모...
-
전 6모 11모 원점수 100 77임
-
연하가 좋아요 6
8살차가 괜찮은거 같아요
-
소주 맥주 막걸리 맛대가리없음
-
미적 30번 1틀인데 공통 13 14 21 22 전부 못 풀어서 84 떠버림 ㅋㅋㅋㅋ 공통이 와..
-
라틴어 동사 "amare(사랑하다)"에서 온 말. Borrowed from...
-
하루에 몇번씩 6
수능망하는상상을하는데 이거ㄹㅇ쉽지않음ㅅㅂ..
첫번째 댓글의 주인공이 되어보세요.