모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://test.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를 선물하세요.
-
자다가 일어났는데 화이자 넌 안 오르는 거니... 후회가 되는군요
-
딩고 킬보 듣는사람 이서?
-
백예린 2
개이쁨.. 직촬임 티비티콘
-
10월 초중에 쪽지로 여자애한테 인스타 주면서 수능 끝나고 연락 달라고 쪽지 주는...
-
. 3
-
메타 재미없으면 저러가야자
-
심심타 1
쪽지 ㄱㄱ
-
한지문 진득하게 분석하고 선지하나하나 발라내는것보단 1
시간안에 어떤 시험지라도 다 건드려라도 보는 연습을 시간재고 촉박하게 하는게 실제...
-
독서도 문학도 이해안되면 넘어가지마라 이 주의임?
-
영수는 학원다니면서 해내고있는데 딴과목조짐. 영수제외 평균3으로 벼락치기 가능할까yo?
-
진짜 잠이 안옴… 뭐냐면 어제 꿈을 꿨는데 처음으로 영어로 꿈을 꿨음 그리고...
-
내가 사회문화 개념 파트는 공부를 해본 적이 없어서 완전히 노코멘트하겠음 근데...
-
닥후인걸로 알겠습니다.
-
식은 땀 엄청 났네
-
중세국어에서 ㅐ, ㅔ, ㅚ 등이 이중모음인 건 어케 안 걸까? 0
훈민정음의 서술이 그렇게 자세한 것도 아닌데 어째서 국어학자들은 ㅐ, ㅔ, ㅚ 등을...
-
질투는 나의 힘 1
아주 오랜 세월이 흐른 뒤에 힘없는 책갈피는 이 종이를 떨어뜨리리 그때 내 마음은...
-
ㅈㄱㄴ.. 우선 극복이 가능한건지 너무 궁금합니다. 멍청할수록 노력을 더 해야하는...
-
아 늙기싫다 21
늙기싫다..진짜로
-
열심히 살고 양질의 강의 제공하는 사람 갖고 왜 괴롭히냐
-
자다 일어나서 토함 17
구와아아아악
-
현역 수학 한번만 살려주세요..정말 간절해요 해내야됩니다 5
안녕하세요 정말 간절하고 진심으로 쓴거니 진지하게 들어주실 분만 답변...
-
ㅇㅈ 해도됨? 3
많이 보나? 지금 해볼라고
-
그게 나야 바 둠바 두비두밥~ ^^
-
. 1
-
Korea Pragmatist Organization for Physics Education.
-
고전시가 이전에 애초에 국어 자체가
-
자극전파는 접변을 만들어낼 수 있나요?
-
맞죠
-
대체 뭐임 주말에 둘이 따로 보는 거…
-
독서 연계 0
독서 연계 공부 하려고 하는데 너무 늦게 시작해서.. 문제 안 풀고 사용설명서만...
-
기필코
-
현실적으로 가능한 일임? 20대 중후반 남자들의 의견이 궁금합니다 내가 그런다는 건...
-
이감 상상 국바 등등..
-
잠이 안와요 2
ㅠㅠ
-
아침에 3시간 공부 못했는데 진짜 너무화나서 눈물남 어차피 무단조퇴로 5분동안...
-
도파민 중독에서 벗어나고자 유튜브 인스타 4개월 넘게 안봄 4
죽을거 같아요..
-
재수생이고, 지금까지 간쓸개만 꾸준히 풀었습니다. 연계공부가 거의 안된 상태인데...
-
이번 학기 0
이상한 수업만 골라 담았네 하하.....ㅠ
-
예를들어 x<=1인 모든 실수 x에 대하여 fx<=0 이다. 이런 조건이 있으면...
-
다행이다 2
아까보다 아픈 게 좀 나았대!
-
ㅋㅋㅌㅋㅌㅌㅋㅋㅌㅋㅋㅋㅌㅋㅌㅌㅋㅋㅋㅋㅌㅋㅋㅋ 꼭보셈
-
우선 필자는 전형적인 심빠이긴 합니다. 다만 이 글은 심찬우T와 범작가님을...
-
ㅈㄱㄴ
-
잠이 안와
-
변춘수 선생님이랑 이신혁 선생님 어떰요 춘수쌤 ebs되게 마음에 들어서 내년에...
-
국어 15점이 오르네
-
O X ?
-
전국서바 88-92 잘하는거임?
-
요즘들어 자꾸 2~ 3시쯤에 깨요 ... 그리고 4시쯤 다시 잠들고... 이런경험...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요