모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://o.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를 선물하세요.
-
88만 줘라 3
더는 안 바람ㅇㅇ 22 28 30만 틀리자
-
쉬운문제든 어려운 문제든 똑같은 논리로 접근해야한다
-
현역 -> 동국대 성적 나옴 안감 재수 -> 윤사 블랭크 이슈로 외대 어문 ~ 동국...
-
이모다시즌 2 둘다 10회 까지 나갔고 지금 파이널 실모하는중인데 40점 초반...
-
8번 지수로그 밑변환 계산 9번 절댓값 적분 A넓이-B넓이 계산더러운거 10번 도형...
-
※ 내년 수능 준비 ※ 수1 : 사인,코사인법칙 빼고 개념 다 기억납니다.. 3점...
-
글지움 1
있다:없다 18:12
-
약속의 홀수학년도
-
요즘도있으려나
-
작년엔 걍 ㅈ됏다 이 생각밖에 없었는데 올해는 좀 더 초연해진 느낌? 드디어 이게...
-
N축 삼도극 ㄱㄴㄷ 무등비 다 내면 어캐됨 ??
-
-
아........
-
https://youtu.be/y4sZhrw9G_Q?si=aMVcO9h0Ny_hctc...
-
K-NN 알고리즘 SVM 얘네들 유력인가요? 이감 중요도 꽤 높긴하던데…
-
드가자
-
내일이랑 모레 마지막으로 풀건데 너무 어렵지 않을걸로좀.. 방금 킬캠 2-6회차를 끝마친상태
-
한지vs세지 18
둘중에 수능에서 뭐가 더 통수안치고 지엽적인게 덜 나오나요
-
딱 느낌이 27 음함수 28 급수 29 역함수 적분 30 도형 이거 임 ㅇㅇ 올해...
-
11월 14일 모두에게 동이 트는 날이 되기를
-
더데유데 시즌2 야발아 6회차 24 33 38틀 93점 진짜 개맵네 아오 ㅋㅋ
-
3월에 하프모 빨리 풀리길래 좋아했는데 그냥 그때도 별로 잘하지 않았던 거구나
-
ㄱㅊ 저는 작년에 일요일날 학원째고 집에서 야구봤음
-
컵도 재밌었음 ㅋㅋ
-
ㅇㅇ
-
수능 짝수형 썰 4
당시 통합 국어여서 1-15번 까지 화작문이고 16-45번까지 문학 비문학...
-
진짜 수능이구나 미쳤다 이제 실감나기 시작함
-
영어 어법문제 8
찍을건데 동사찍을까요 관계사 찍을가요
-
짜치게 수열 22 ㅇㅈㄹ하면 좆같을거같아.. 231122마냥 맛있는 문제 기대중
-
온갖곳에서 예상 작품으로 뽑던데 듄탁해에 없어서요..ㅠ
-
주관식 풀었는데 똑같은 답이 2개 발견되는경우 ㅇㅇ 이거 진짜 멘탈갈리는데 생각보다 (마킹시 발견)
-
-
아니면 ebs에 수록안된부분이 주로 나왔나요?
-
사실 대학교에서 미적 공부하고 있긴 함
-
수학 답 배치 괴랄했는데 짝수니까 그럴수 있지 하고 넘어가서 별로 걱정 안 들음
-
경제학 사회 분자생물학 물리학 논리학 다 사라졌다는데 독서 전부 융합형인거임? 시발 ㅋㅋ
-
이해원 + 이로운 ㅇㅇ
-
니네 수능등급ㅋ 11
-
진짜 공부 손에 안잡히는데 어캄
-
https://youtu.be/BsvXChu7wQk?si=y__TSMcaLxVVkZc...
-
이것만한건 없지
-
감탄함 속으로
-
사문 여름방학 때 기출 3개년치 2번정도 돌렸는데 그동안 사문 안풀다가 11월 초...
-
(나)가 수력이어야 맞는거 같아서요 ㅠ
-
국어수학영어 6모는 ㄹㅈㄷ다
-
아니 공부하고 왔는데 11
저거 이륙해버렸네
-
아이디 : qjwm2003 커피 필요하신분들 한번씩 추천해서 서로 받아가시면 좋을것 같습니다!
-
공부 졷ㄷ도 안해서 하나밖에 못풀거 같은데 1,2회차 중에 더 쉬운 회차 추천 부탁드립니다..
-
11덮 22번 틀린거 30초전에 발견해서 절망스러웠는데 4
심지어 3분컷때리고 넘어가서 진짜 절망적이였음ㅋㅋㅋㅋㅋㅋㅋㅋㅋ아
-
항상 실모보다 수능 22번이 어렵던데.. 올해도 어렵겠죠? ㅋㅋ 왜 항상 수능...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.