모든 명제가 참이면 무모순임을 증명(제발관심점)
1. 공리는 참이라는 증명이 없다
2. 따라서 귀류법 증명도 없다
3. 따라서 공리를 부정하면 무모순
논리학 3대공리
1. 동일률(A=A)
2. 무모순율(not(p and not p))
3. 배중률(not p or p)
동일률 부정
[(A=A)를 부정]<->[(A=/=A)가 참]
[(A=/=A)가 참]->무모순
무모순율 부정
[(not(p and not p))를 부정]<->[(p and not p)가 참]
[(p and not p)가 참]->무모순
[(p and not p)가 참]<->[모든명제가 참]
[모든명제가 참]->무모순
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
중대 상경 논술 다음주에 보는데요 5일 공부하고 가놓고 기대하는거 말도안되는...
-
맞팔구합니다 0
똥테에서 더 멀리 벗어나야해요 근데 팔로잉은 그대론데 팔로워 수만 줄었다는건 엄...
-
약대 사탐 0
재수해서 인서울약대가 목표인데 사탐 두개 해도 되나요..??
-
만약 친구와 성적 차이가 1등급 이상 차이 나는데 사회 배려자 전형으로 본인보다...
-
계속 정진하겠습니다
-
국어 수학 애매하게 봤는데 사탐 99 97이라 불보정이면 좋겠는데 ㅠㅠ
-
메디컬 생지 0
메디컬을 지망하고 있는 고1입니다. 원래는 과탐선택을 화1 생1 을 하려 했는데...
-
-
노베 재수 0
국어 영어 사탐1개 안할거구요. 수학 사탐1과목 한국사만 할건데 수학5 사탐1과목...
-
밥도둑1티어라생각
-
먼가 재밌는 겜이 없으려나
-
현역인데 최저 높게 빡시게 잡았다가 6광탈각 보여서 미리 준비하려고 하네요 ㅠㅠ...
-
에듀셀파 여자캠퍼스나 광주(경기도) 이투스 247 생각하고 있는데 어떤가요??...
-
제가 하는짓은 씹게이같아도 입맛은 상남자라 그런 음식 잘 안 먹긴하는데 광고도 많이...
-
과학고등학교를 자퇴한 1학년 학생입니다. 의대를 정시로 노리고 있는데 탐구 2과목...
-
1월에 기숙가서 11-12월 남은시간에 김상훈t 문학론 전부 듣고 가려는데 작년에...
-
물1 물2 0
07이고 물1 내신 1학기때해서 다 까먹어서 방학때 개념 돌려야하는데 물2로 새로...
-
고려대 정시-내신우수전형 점수 산출 시 절평과목(a,b,c)도 점수합산에 포함되나요? 0
고려대 정시-내신우수전형 점수 산출 시 절평과목(a,b,c)도 점수합산에 포함되나요?
-
의대정원때메
-
이 아이가 덕코의 배부름을 알까요
-
⭐️틱ㅌ라이트 오늘 접속안한분 45,000원 중복 지급! 0
기존 회원 한정 이벤트입니다 이벤트 링크 통해 접속하시고 45,000원 받으세요...
-
수능 국어 커리 0
07입니다. 12월 기말고사 끝나고부터 본격적으로 수능 준비를 좀 하려고 하는데...
-
제 칼럼 도움되신분 12
댓글 좀 달아주세요 보람 느끼게..
-
자율전공 말고 한명 뽑네요 지금알았는데 보러가지말까요 어차피 가능성없어보이는데..ㅠ
-
민지학과면 ㅇㅈ함뇨
-
입시판 뜬지 4년이라 수학 다 잊어먹어서 난이도 분별이 잘 안되는데 혹시 21가형...
-
정병훈쌤 최초풀이인데 5번 어떻게 푼건가요
-
그걸 안 채로 누군가 날 작년 12월말~올해 1월초로 보내주면 난 나군에 동법을...
-
한번 받아보고싶긴한데 70만원은 좀 커서 고민되네요 ㅜ
-
슬슬 0
한약학과 떡밥 도는거보니까 원서철 다가오나 싶네ㅋㅋㄱㅋㅋㅋㅋㅋ
-
개갓은인생
-
여캐일러 투척 테러리스트 등장
-
안녕하세요 수1 수2 한번씩 복습하고 싶은데 대수(수1),미적분1(수2) 사야하나요...
-
수학 0
공3 88>미3 89일 가능성 있음??
-
참 수학때문에 미쳐버리겠네요
-
짝수형이어서 답 4번으로 고른 기억이 나고 이 문제를 어떻게 실수해야 답이 18이...
-
수능 수학 커리 0
26 수능 현역으로 응시 예정입니다. 기말고사 끝나고부터 해서 인강 현우진쌤 커리...
-
댓글달아보세요 5
네
-
백분위기준 화작 92 확통 66 영어 4등급 생윤 87 사문 67 나오고 등급상으론...
-
64급자격증+출결20+가산점15해서 99 아마이게 영끌하면최대일꺼같은데 이거보다 더올라갈수있나요??
-
이거중에 하나라도 풀어주시면 감사하겟습니다
-
부산사는 고3입니다. 재수할 생각이 없고 올해 갈생각인데, 성적이 시립대공대 아래...
-
어디가 좋을까요? 설대식 415점 정도이고 내신은 지역자사고 3점대라서 아마...
-
무료과외해줄 사람 ? 공급이 있을려나
-
그래봤자 안올거 다 알아 내년엔 2%따리임
-
1 2등급 컷이 정상화되면 다들 돌아올까요? 올해보니 1등급은 2과목으로 그 이하는...
-
ㅇㄷㄴㅂㅌ..... 그래도 취직걱정 안해도 되는게 그나마 위안임 친구들 슬슬 취업얘기하더라....
-
풀었는데 선지에 답이 없어서 봤더니 실수했길래 다시 풀었는데 또 답이 없어서 보니...
-
레전드
-
통역장교 출신(?)1인도 이리 못하는데... 이걸 우예 내용을 다 잡누...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.