모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
여러분의 열화와 같은 성원에 힘입어 모든 학교 논술수업 예약이 모두 마감되었습니다....
-
접때 여쭤봤을때 어떤분이 폰으로도 열린다 하셨는데 9평 파일 열어보니 안열려서요...
-
반박시 밴과 더불어 논술납치를 당할 수 있어요~
-
은테를 달고 싶어요
-
님들 2024년에 나온 시발점 교재로 2025년에 공부해도됨?
-
수능성적표 나오는날 나오나?
-
책 내면 뭔가 멋져보일듯 ㄹㅇ 내 있는 생각을 그대로 표현하고 생각의 힘을...
-
-
목표 약수고 설대만 아니면 다 된다길래요.. 화1에서 지1로 런한거였는데...
-
갑자기 불안 제2외 포기할사람 광장같은데 가서 종이나눠주고 포기각서 쓴담에 제 구역...
-
수능도 끝났으니 새폰사달라고 할까싶은데 바꿔서 생각해보니 새 폰이 그렇게...
-
90 94 2 79 51 동홍국숭 무리인가요?
-
뻘글러 금테 진입은 모두의 꿈인걸요..
-
이미 알고 있는 개념을 다루고 있는 목차는 패스할까요? 2
지금 현우진 노베 도형 수강하고 있는데 이 개념은 내가 이미 알고 있는 개념이고...
-
남고생은 교복이 사기임 14
-
맞팔 구합니다
-
수능 컷보다 낮았으면 낮았지 높았던적은 없는듯
-
진짜 일상생활이 안 됨… 진짜 너무 열불남진짜 하.. 생각안하려고 하는데 머릿속에서...
-
언매 88 0
언매 1틀 입니다.. 2는 걸치겠죠..? 1컷 93 위로간다는 분들이 좀 계신거같애서
-
어느 정도 보정하고 내놓는 건가요 아니면 그냥 입력한 거 그대로 내놓는 건가요??
-
하 인생
-
내신 BB
-
더하고싶다 노력도 배신을 하긴 하는구나를 깨닫게 됐습니다 나중에 결혼해서 애낳아도...
-
한단계 진화했다 6
-
찌라시엇나요
-
21112인데 서성한도 안되네.. 서성한 다 빨간줄임 하핳 뛰어내려야 하나
-
-
혼자서 공부하고 원서 써도 괜찮나요??
-
"저 한국 가서 살래요" 이민자들 전 세계에서 몰려든다는데…이유 알고 보니 1
[서울경제] 한국이 지난해 전 세계 주요 국가 가운데 이민자 증가율이 두 번째로...
-
작년에 비해 입결 낮아질까요??? 높은학교 아니고 지거국이에요
-
맞팔구해요 6
맞팔해주세요
-
미적 선택자라 확통은 중학생 수준보다 못하는데 확통 공부를 해야하나요?
-
수상할 정도로 독수리를 좋아하는 고대출신
-
.
-
-
대충 도파민채우는 용도 이런건가요 더러운글만쓰는데 팔로워가 갑자기 늘어남
-
불수능 물수능에 따라 유의미하게 다른가? 비율%가 정해져있는데 왜 물수능이라고...
-
저는 편입실패자입니다
-
안되는규칙혹시있나
-
특히 애매하게 여초인 교대에타들이 제일 궁금하네요 서울교대는 서울에 있어서 아직까지...
-
김과외 지금 전적대로 등록해놓고 학교 합격하면 변경할 수 있나요?
-
이거 어디까지 될까여
-
지금 진학사 7칸이고 환산식은 작년기준 최종등록자 하위 20퍼에 딱 걸치는데...
-
수학 1컷,2컷 3
1컷 92 2컷 80 이 정배임???????????????? 누가 확정좀 지어줘 제발 ㅠㅠ
-
수능과 오르비
-
중경외시 가능성 없나요?ㅠ 건동홍은 가능하나요
-
맞팔하실분 8
저 잡담태그 잘달아요
-
아무질문받습니다 12
화작확통생윤화2했어요 질문받습니다
-
모아님 등장! 4
모 아님 아님 모아 님 맞음
-
서울여대 공학되면 서울대로 졸업장받음
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.