모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://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를 선물하세요.
-
잘자용!
-
대화했음
-
운영 빡세게 해서 변별할거 같음
-
공황장애인데 0
외국 못나가는중 공황장애라
-
아주의에 갈 것.
-
이제 진짜 잔다 3
8시엔 일어나야돼
-
내 유일한 목표다
-
뭔가 되게 본질적으로 물어보는 느낌이라서 좋은 문제인 것 같아요
-
잘 때 핸드폰은 거실에 놓고 잠 일어나자마자 폰 보면서 뒹굴거리지 않고 바로 행돌할수 있게
-
2시에 자야징 2
-
지금 안자는 남르비들 쪽지줘~
-
바득바득 정신차리고 풀어도 화이트 두개 블랙 세개 틀려있고…. 아님 요즘 데브도...
-
수능수학의 첫아다를 떼다
-
n수할 때 그냥 국어만 좀 하고 놀다가 대학가셨다던데
-
콜록콜록 1
목 아파 목캔디 먹어야겠다
-
정의를 묻고 관계를 따져라
-
현역 고3이고요 미적 개념 까먹은거 같아서 빠르게 보려고하는데 3점까지만이라도 다...
-
정체가 뭐임
-
진지하게 영어할 시간에 수탐 더 보는 게 맞지 않나 싶다가도 4
아 어차피 어려우면 대 성 균 이 1=2 해줄 거라고 ㅋㅋ 하다가도… 던졌다가 3 뜨면 줒되는데
-
200명은 될라나
-
이형수t 듣고있는데 문화접변에 해당한다 라는 선지를 보면 직접전파만 확인하면...
-
정상임?
-
지금은 행복하지만 지난 두 번의 연애에서와 마찬가지로 이 연결도 언젠가 해지될 날이...
-
아니 현돌 파이널 생윤사야되는데 윤사사버림 뜯고나서깨달음 아 살사람!!!!!!...
-
오랜만 오르비 42
흠냐 잠들기 실패해서 오랜만에 옴
-
강기원 올해 들은 고2잉데 내년에 김현우+이동준/박종민 생각중인데.. 이동준 ㄷ...
-
인현강통틀어
-
서바 강k 14가 15 21보다 어려운 것 같아요
-
야 너 이름이 뭐니 최고차가 3인 이차함수니?? 아 너가 1과 3을 근으로 갖는...
-
혹시라도 한 번 더 하게되면
-
나 한국 사랑하는데 10
나 진짜 국뽕인데 솔직히 우리나라 고교생활이랑 군대 생각하면 가끔 옆나라로...
-
문제와 대화해라
-
전 올해 1학기 때 런닝머신으로 매일 10km 달리기했는데 어느날 밤 양다리 둘 다...
-
어서와라
-
이 친구 다른사람은 다 만지게해도 나는 피함ㅠ 방금도 나 피하길래 머쓱하고 집옴
-
이 존예로운 용안을 보고 어떻게 그런 심한말을
-
귀여운 동물투척
-
D26의전사 1
당분간 칸예랑 켄드릭 끊겠습니다.
-
자다깼어요 8
다리저려요,,
-
남미새 여미새 << 은근 잘생기고 예쁜사람 많지않음? 14
남미새 여미새인 점만 빼면 의외로 선남선녀일 가능성 농후한 거 같음 이성을 밝힌다는...
-
역덕드립특) 12
이해 못하는 사람 있어서 약간 치기 애매함 설명해야하는 드립은. 실패작이니까.
-
지리 교사가 되고싶다는 생각이 요즘 들어서 수능 후 동네에서 한번 해보고 싶은데…...
-
14,15,22,30 틀 84 11-걍 기울기 이용하면 바로 풀리지만 c조건 못...
-
뭔가 수특은 읽으면서 턱턱 막혔는데... 핫백을 술술 읽혀서 좋음...! 문제 잘...
-
하 올해 어떻게 될까
-
ㅇㅇ
-
김민지 사랑해
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.