모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: 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를 선물하세요.
-
하 잇올 가기싫 1
허
-
가끔 0
가끔은 약해져도 된다. 다만 너무 오래지는 않게 사람이 별로가 되어버리니까.
-
미적 안정 2로 보면 될 것 같습니다(맞나?) 서바는 7~80점대 나와요 1컷...
-
어떻게 끌어올림?
-
강제로 공부 중단중 빨리 공부해야되는데 빡친다
-
오늘의 노래추천 13
걍 네게브<~ 얘는 노래의 신임 ㅇㅇ..
-
그래서 경쟁자 제거에 들어간다
-
essence 08] 시제, 태, 법과 주어의 수를 술어가 표현해야 하는 이유와 방법을 이렇게 이해하세요. 0
술어의 형태를 단순하게 암기하기 보다는 술어가 동사 의미 이외의 추가 정보를...
-
살이 찔수가 없겠구나 느낌 이제 배가 안고파도 먹어야겠음
-
국어 만점 아니라 죄송... 근데 충분히 보기 정도 줄 만한 문제 아니었냐? 보통...
-
현재 기출 다 끝내고 수특수완 완료했는데 인강없이 문제와 해설로 볼 수 있는 문제집...
-
모든 국어 역사 통틀어 역대 최고난도 지문 뭐라고 생각함? 46
브레턴 우주론 어라운드 변증법 에이어 모델링 하드디스크 비트 등 다양한 후보가 떠오르는데
-
기만아닌데 기만이라하는 사람들이 너무 많음..
-
우는 모습도이쁨 7
-
자지 9
마세요 여러분들ㅜㅜ 내일 쉬는날인데
-
뭔가 체감이 생명 유전 푸는거 같냐 ㅋㅋㅋ
-
ㅈㄱㄴ
-
오늘이 개천절이였네
-
10/36 0
https://www.orbi.kr/00069330403/ 2020년...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.