모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://ui.orbi.kr/00069266946
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를 선물하세요.
-
cow 도둑
-
매질이 필요함
-
두 장 사세요.
-
생각이 개많아짐 ㅋㅋㅋㅋ ㅋㅋㅋ ..........
-
이만한 가성비 지문이 없다.. 적어도 주희,이이관련한 사상은 배경지식 쌓아 두시는게 좋을듯합니다
-
감가상각 1
Ebs 리트
-
또이또이인가
-
킬캠2-1 후기 0
88분 22틀 96 2-2보다 어려운데 체감이 ㅎ
-
해령의 이동 방향을 결정해야 하는데, 2가지 케이스가 나오는 것 같은데 배제하는...
-
질문 드리고 싶은게 있습니다ㅠㅜ
-
있으면 좋을만한거 뭐있죠??
-
지역할당제 반대... 서울시교육감이 할 수 있나?
-
천만덕이다
-
유부초밥 겉에 둘러쌓여있는 유부말하는데 뭔놈에 이상한 댓글들이 ㅋㅋㅋㅋㅋ 진짴ㅋㅋㅋ
-
나도 그냥 무생채는 안먹고 비빔밥 먹을때만 넣는데 얘랑 참기름이 다캐리함
-
뭔가 확통이 기출보다 꽤 어려움요.. 30번은 6모보다도 어려운 것들 좀 있던데...
-
질문해드릴께요 26
ㅈㄱㄴ
-
근데 왜 고로케는 항상 없냐거 ㅠㅡㅠ
-
님들 저 이번주 수요일에 수학실모 현장응시 첫경험 할 예정임요 5
기대가 되는군요
-
2시간 30분 요약본 다 봄 ㅋㅋ
-
는어렵지는안앋어요. 미적30번은계산이좀만아요. 공통은쉽고미적이조금어령워요....
-
질받 9
ㄱ
-
9모1컷입니다 강민철 커리 타고 있구요 우기분 너무 늦어서..ㅠ0
-
90점 감사합니다 gpt님 합격을 위하여..
-
라면에 비엔나 넣기
-
난 진짜 유부가 도대ㅔ 무슨맛으로 먹는건리모르겠음,,, 맛뿐만아니라 식감도...
-
몸이 안좋은데 4
어제 술먹은이후로 감기걸린거같은데 그새끼말로는 그새끼 주변에 싹다 감기걸린거같다는데...
-
이것도 국평오? 0
토플 115로 아이비간다는게 아니라 아이비 애들이 115니깐 이정도면 아이비애들...
-
질받 40
-
올리면 풂? 안풀면 문항공모로 싹다 돌려야지
-
반갑습니다. 15
반갑습니다.
-
너무 많이하는군 현실적으로 안들어오는건 힘들거같고 하루에 30분 정도로 합의를...
-
수학 - 배성민t 물1물2 - 방인혁t 렛츠고
-
물바난이도의 정상화
-
국어공부 2년차에 드디어 기출을 어떻게 공부하는지 깨달음 5
정말 오래걸렸다
-
11회 존나 어렵네
-
한완수 지로삼 죽을맛임......특히 지로함수 사실 다항함수도 어려워죽겠음
-
다양한 가능성을 대비하기보단 요즘 경향에 맞는거 추천좀 해주세요 경향에 맞는다는것은...
-
강의 집중해야 하는데 걍 얼굴만 봐도 빡침
-
너무 허수책 이미지가 강함 특히 사이즈가 평범한 교재 사이즈가 아니라 책 같은...
-
보면 볼수록 현타만 그득해지네
-
학원에서 이제 나왔는데 아침이랑 같은 계절인거 맞음? 반팔 반바지에 맨발 슬리펀데...
-
배성민쌤 파이널이 너무 싸서 바로 지르고 호감되어버림
-
+ 수1 드릴5 50프로
-
요새 학원 가서 시간을 알차게 쓴다기보다는 마치는 시간을 기다린다는 느낌이 더 강한...
-
노총각 형에게 러시아여자 이뻐서 장난삼아 여자 어떠냐고 물어보니 너무 진지하게 본인...
-
2등급 간당하게 띄우는 실력이고 아직 영어 기출을 안풀었습니다. 지금까지 영어...
-
뭔 이딴 ㅂㅅ같은 프로그램을 만들 생각을 하지…??
-
ㅠㅠ 추워
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요