모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
내가 할수있는건 똥글싸기뿐
-
도움을 주신 모든 분들께 감사의 인사드립니다
-
내면세계가 뭘까 몇번을 읽고 풀어도뭐라고 딱 떨어지게 이거다 말하기가 어려움
-
출근하기 싫어 2
출근하기 싫어 일 안하고 돈 벌고 싶어
-
안그래도 바닥이였는데..
-
강k 19회차보다 어려웠나요?
-
말출 28일 ㅜㅜㅜ 40일이나 여기 더 있어야??ㅜㅜㅜ
-
나는 과외
-
친절함 (사람에게 친절하고 부모에게 잘하고) 지능 (공부, 일머리, 사업 등 관련된...
-
앞으로 남은 컨텐츠들 여름계간지 이감,상상 파이널(간쓸개,이매진 포함), 스키마모고...
-
내년에 다닐려고 하는데 인터넷에 부정적인 후기글이 몇 개 존재해서 좀 망설여지는데...
-
.
-
출튀도했으니 13
늦은 점심을...
-
3덮 생윤윤사 답 있으신분 ㅡㅜ
-
안녕하세요 제가 신청한 프리패스권 이제 취소 할려고 하는데요 연락이 잘 되지 않아 쪽지 남겨봅니다.
-
한자어 때문에 고전시가 풀때마다 때려맞춘다는 느낌을 많이 받는데 어휘모음집 같은거...
-
어느정도 베이스 있는 삼반수생들은 1년 하나 세달 하나 차이가 없는거 같음 오히려...
-
일단은 시켜놨는데
-
같은 현실에서 전혀 다른걸 보고있는듯함
-
이참에 옷걸이나 팔아볼까
-
9평때 광한루기 나왔으면 수능땐 춘향전 절대안나오나 0
두번다 춘향이 얘기는 안나오겠지?
-
공하싫공하싫 2
하
-
순수 재미 GOAT 내신 때 이거만 한 게 없네요
-
악마는 디테일함에 있다 그러니깐 어려운 지문과 문제는 꼼꼼하게 읽지 않으면 반드시...
-
해야될 것들 0
국어 우만수 수강하면서 에필로그 풀기 배웠던 지문 다 다시 차근차근 풀기 주 1회...
-
[무료 배포] 통합과학 중간고사 대비 모의고사 3회 0
더 나은 학습 환경을 제공하기 위한 새로운 교육 생태계 구축 프로젝트, SYNC가...
-
해설 보면 '공차가 음수이므로 a5>0, a6<0이다'라고 나와있는데 왜 그런건가요,,,,,,
-
영어시험중인가보네
-
완강해본게 몇년전이지
-
국어 고전 1
고2인데요 고전소설이나 고전시가 이런건 진짜 1도 무슨말인지 이해가 안되는데 어떻게...
-
포스텝 ㄹㅇ존좋 0
교재없이 걍 들어도되고 몰입도도 너무조음
-
테스트하는건데.. 그걸왜함?
-
N이 많아질수록 인강을 잘 안 봄
-
저메골 2
국밥 짬뽕 돈까스 싸이버거 라면
-
전국서바 문제인데 ㄷ 선지가 왜 맞는건지 모르겠어요 ㅠㅠ
-
8학군에서 연고대 붙으면 잘 간건가요 못 간건가요? 6
오르비 유저분들의 생각이 궁금합니다
-
국어는 높2정도 실력 사탐은 둘다 11띄웠어요 수학은 찍맞 포함해서도 겨우겨우...
-
내가 인정받는것은 불가능한가
-
문학 연계율이 0
주로 고전운문> 고전산문> 현대운문 > 현대산문 이정도 맞나요?
-
킬캠 시즌2 2회 미적 2930 틀려서 92인데 순서대로 쭉 풀고 29,30 오니까...
-
사실 잠깐 응통에 마음이갔었는데 모집인원수보고 호다닥 런 역시난 경제원툴이지 수석...
-
높3이 공통선택 세개다 뉴런+수분감 오답까지 끝내면 어느정도 오르지 3
ㅈㄱㄴ요… 높2가능? 좀 무리인가 숙련도는 한 아주 몇문제빼고는 다시 풀면 풀리는...
-
으어어엉
-
오늘도 힘찬하루! 내일도 힘찬하루! ㅎㅎㅎ
-
왜 답이 틀린거야?
-
오늘 점심은? 2
어제 엄마랑 동생이 시켜먹고 남은 제육 여따가 밥넣고 볶아서 먹을듯!
-
시간개빠른거무엇
-
계산살수하기 좋게 문제를 설해놨다...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.