모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
유대종의 미 괜찮나요? 정석민 쌤 수강생인데 유대종의 미 살까 이감 사서 해강 들을까 고민 중
-
돈다발 포터남ㅋㅋㅋ
-
3대1가보자가보자
-
깔끔하게 라스트댄스 추고 내 공부에 집중해야지
-
누군가 그러더라구요 '햇빛만 계속되면 사막만 남는다'라구요. 나쁜일과 좋은 일이...
-
선생님 : 야 국영탐 이 성적인데 수학 두 문제만 더 맞히면 서울대 되지 않을까?...
-
뚫어버리고 싶다
-
실전개념 기출 야무지게 돌렸는데 이제 반수때 기출 한 번 돌리고 N제 실모만...
-
와 레전드팜하니 7
-
경북대 전자 부산대 기계가 아웃풋은 상당한걸로 아는데 요즘도 괜찮나요?
-
통계역학 그만해야지
-
솔직히 생1은 4
시험장에서 한번 긴장하는순간 어려운 문제는 ㄹㅇ 안보이고 나머지 풀 수 있는...
-
개념만 4회독째이고 회독도 일부러 A4 가지고 백지복습, 들고다니며 읽고 온갖...
-
연대 가고싶다 2
개간진것 같음 ㄹㅇ...
-
미적 2컷 몇일까요? 국어 말려서 독서 한 지문 날림… 화작 89인데 보정 1 ㄱㄴ?
-
현역 공부인증 9
오늘 딴짓 ㅈㄴ한듯 내일은 발기상태로 13시간 찍을게요.
-
다 막히네요 ㅋㅋ 그러고 다음날 아침에 풀어보면 다 잘풀리는 매직
-
우울하다 2
나만 안봤어 더프 나 빼고 셔틀 다 안타네... 더프 끝나고 걍 집 간건가
-
알면 최소 4수생이기는한데........
-
더프 의미없는건 알지만 수학에서 80점이상 처음받아봐서 자꾸 생각난당.. 2등급이...
-
구하는 방법 없을까요? ㅠ
-
기하잘하는사람 0
혹시 풀어줄 수 있으까 ..??
-
더프 국어 다 1 받고 수능날 조질까봐 맨날 불안함 2
요샌 좀 자신감 올라서 덜한데 한 6~7월달에 거의 ptsd생긴거처럼 고통스러웠음 ㅜㅜ
-
이미지 적어드립니다 47
-
뭐지
-
삼수하지마셈 9
정신병옴
-
작년 1~2학기 합쳐서 평균 0.7이긴한디
-
9덮 언매 1컷 0
몇점 예상하시나요 87점인데 보정1 뜰까용
-
공부한거랑 안한거랑 차이가 거의안남 ㅋㅋㅋ
-
6모 이후로 성적이 똑같은거 보고 이번 9덮은 오히려 떨어진걸 보니 새벽에 일어나서...
-
수특 개념 부분에 용기백배 개념책에 없는 지엽적인 부분 있나요...?!!!
-
둘 다 합격하면 어디 가세요?
-
화작 71 확통 73 영어 3 생윤 44 윤사 38
-
최저 가능할까욤 0
9덮 언매미적으로 국수영 84 69 89 인데 열심히하면 국영수 222이내...
-
국어: 6,9 평가원 낮3, 이감 2 강대 k 2 더프 4 수학 : 하방 백분위...
-
받아본사람 있음? 4규나 n티켓정도만 풀고
-
난 가난해서 우럿서
-
올려도 옮김? 1학기에 학점 잘 따놨다는 전제 하에
-
우웅웅
-
작수 언매 77점 (백분위 88 3등급) 6모 화작 75점 7덮 화작 65점 8덮...
-
둘 다 합격하면 어디 가세요?
-
나름 국어 잘한다고 생각햇는데 각잡고 다시 연습하니까 여기서 더욱 잘해질 여지가...
-
화1 0
44인데 1가능? 어렵던데
-
나보다 국영탐 더 잘하는 애 있는데 걔는 수학만 9시간씩 파도 만년 2말3초임 나도 2말3초
-
혹시 수능 끗나고 15
한 며칠 있으면 유동들 빠지나요..? 수능독 올라온 유동들은 쪼끔 무서워서요..
-
피드백 : 논술학원 졸지말기…..
-
현역 중앙대 경영에서 재수 한양대 경영 성공이라고 보시나요? 1
오르비 유저분들의 생각이 궁금합니다
-
방심하면 또 튀어나오는구나... 진짜 뒤1질래
-
3-4등급 버러지일땐 겸손하게 나는 병신이다 이러면서 공부하는데 1-2등급 찍으면...
-
질문해줘요 46
몇개 안달리면 민망튀하겠슴,,
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.