모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
우왕 안녕하세여! 서울대 수학교육과 TEAM SEOL:NAME입니다! 드디어...
-
보통 교육청 시험 1등급컷에서 몇점정도 올리면 평가원 1컷 되려나요?
-
Jmt 3-2 0
14 19 22 29 틀 ㅇㅅㅇ 수학황이되고싶어요
-
https://orbi.kr/00069027617/%EC%9E%90%EA%B8%B0%...
-
만약 문화변동에서 A국 사람이 B국 사람에게 가르쳐준 문화에서 영감을 얻어 새로운...
-
브레턴우즈 같은 게 눈까알 와리가리로 풀린다고??? 그리고 과학 지문들은 이미지화...
-
나 올해 1학기 때 해봤는데 그 뒤로 학식 안 먹음
-
수학 2목표이고 매주 한회씩 현강에서 실모 보고 있는데, 나중에 풀었던 실모 다시...
-
현재 고2이고 정시파이턴데 건동홍라인 공대까지 희망하고 있습니다 현재 거의 노베이스...
-
밥 시간 줄이고 싶은데 빨리먹을 수 있는거 뭐있음? 12
어느정도 영양챙기려면 김밥, 죽 이거밖에없나?
-
9모 54545 수능 목표33333 국어 아수라 + 이감 + ebs 수학...
-
미적 쉬우면 확통이랑 표점차이 줄어서 ㄹㅇ쉽게낼수도 있겠다
-
근데 자꾸 점근선마냥 확통에 붙으려 함
-
거울로 봤을 때 정확히 제3사분면만
-
기하 선택만 해도 1등급이네요?
-
오늘 백전백승 0
스윙으로 노보노 디스크 샀음
-
87분 22틀 96점 이런건 왜하는거냐? 조온나 안어려우면 내가 75분 100이...
-
그냥 꼬우면 그말 안 듣고 말면 되는거 아닌가..
-
새기분우기분이기분 강기본듣다말음 강기분안들음 빨더텅7회인가10회인가까지풂...
-
알고 계셨나요? 1
저는 잘 모르겠네요
-
D-52 공부인증 10
이대 보내주ㅓ.....
-
굳어 못해서 메인글들 읽기 귀찮음
-
좋아 13
좋은 아침이라는 뜻
-
CPA 수석 공부법 12
고승덕 공부법 이게 가능했던거냐
-
물스퍼거의 하루 9
-
현역 5에서 삼수 1 ㄷㄷㄷ
-
그런의미에서 내일 아침메뉴 추천좀
-
이거 진짜에요? 6
-
약대 꼭 가고 싶은데 1학년 끝날때쯤, 겨울방학 때 정신을 차린지라 1학년 내신...
-
갑작스런 수능냄새는 07을 불안하게 해요 ㅠㅠㅠ
-
국어를 그렇게 못한다고 생각하진 않는데, 항상 국어 등급을 보면 1 아니면 3만...
-
범작가 국어황들에게 뚜드려맞는거 개웃기노 ㅋㅋㅋㅋㅋ 5
오늘부터 나의꿈은 “ 수능 국어 백분위 98 ” 이다 백분위 97인 범작가보다 1%...
-
나이+그냥 전체적인 삶에대한 라스트찬스+등등이라 망하면 살아있을 가치가 없다는게...
-
이감 6-4 3
이감 6-4 받으신분 있나요 저는 6-3까지 풀었는데
-
cow 도둑
-
매질이 필요함
-
두 장 사세요.
-
이만한 가성비 지문이 없다.. 적어도 주희,이이관련한 사상은 배경지식 쌓아 두시는게 좋을듯합니다
-
감가상각 1
Ebs 리트
-
또이또이인가
-
킬캠2-1 후기 0
88분 22틀 96 2-2보다 어려운데 체감이 ㅎ
-
해령의 이동 방향을 결정해야 하는데, 2가지 케이스가 나오는 것 같은데 배제하는...
-
질문 드리고 싶은게 있습니다ㅠㅜ
-
있으면 좋을만한거 뭐있죠??
-
지역할당제 반대... 서울시교육감이 할 수 있나?
-
천만덕이다
-
유부초밥 겉에 둘러쌓여있는 유부말하는데 뭔놈에 이상한 댓글들이 ㅋㅋㅋㅋㅋ 진짴ㅋㅋㅋ
-
뭔가 확통이 기출보다 꽤 어려움요.. 30번은 6모보다도 어려운 것들 좀 있던데...
-
질문해드릴께요 26
ㅈㄱㄴ
-
근데 왜 고로케는 항상 없냐거 ㅠㅡㅠ
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요