모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://ui.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를 선물하세요.
-
-
팩트는 시선 방향 40도만 틀어줘도 헬게이트 열린다는 거임.
-
평소보다 아침 일찍 먹으니까 금방 배고파질듯한데 초콜릿이나 쿠키같은거 까드시나요
-
모고 볼 때 탐구 시험지를 가릴 때 omr을 가로로 놓아서 가리는 사람도 있고...
-
근데 진짜 쓸모없네 그 시간에 국어나 쳐할걸 약간은 후회된다
-
미적 27번 1
9모 27처럼 쉽게나왔으면.. 아니면 무등비 부활시켜!!
-
올해는 뭘까 혹시 20번에 박아둔다던가 그럴 생각은 아니겠죠? 22번은 무난한...
-
앞으로 국어 1
감만 유지하고 공부량 최소한으로 줄이려고 하는데 하루에 기출 문학 독서 2지문씩만...
-
살짝 A 급 소설 호소인 느낌임 걍 뭐라해야하지 고전소설 특 꿈꾸고 우연히 만나고...
-
생윤 질문 ㅠ 0
롤스: 사회 구성원 모두의 협력을 가능하게 하는 분배만이 정당하다 O 이번 6모...
-
2년 간격으로 그게 나오겠냐?? 이번 수능에 나오면 4수함
-
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
-
진짜 공부 손에 안잡히는데 어캄
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.