모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://i.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를 선물하세요.
-
이원준 쌤 들으시는분들은 시험 풀 때 화살표 그려가면서 하시나요?
-
지가 말한거 다 반대로 하고있노ㅋ
-
⭐️틱톡라이트 기존회원 접속만 해도 3만원 즉시지급 1
⭐️틱톡라이트 기존회원 접속만 해도 3만원 즉시지급 기존회원 한정 이벤트 입니다!...
-
독서는 누가 더 잘 가르치시는 것 같으세요? 216이 독서는 김승리.정석민보다 더...
-
문학은 누가 더 잘가르치시는 것 같으세요?
-
오랜만에 오르비와서 글 보는데 2506 2509 이런거 보면 ㅈㄴ 이질감드네
-
한 달 넘게 매일 먹었는데 이거때매 졸린듯
-
ㅋㅋㅋ를 연타하지 못하는 습관이 생김
-
내 어린 시절아 어릴 땐 나이가 든다는 게 좋은 건 줄 알았어 어른이 되면 좋을 줄...
-
..
-
형이야 3
형은 9시에 자서 4시에 반에 일어났어
-
문제가 다 좋은거같아요 아님말구
-
편차 크긴한데 백97이상은 뜨련가…
-
23 수능 미적 원점수 100점이고 과외경험 15명이상입니다 안자는 사람들위해 잠깐 질문 받아요
-
이게 몇시야? 0
미쳤어
-
강민철 파이널 0
우기분 강이분 독서등등 강의 없이 풀어도되나여 그냥저냥 기출+사설섞인 문제...
-
공대가지 말로 상경갈걸 14
공대는 상당히 가성비가 좋지않은 듯 그냥 교차로 상경갈 것 싶기도 하고
-
sk계약인 고대가 더 높나요 저랑 1도 연관없는데 갑자기 궁금해짐
-
진짜 지금 이 상황에서 뭐를 어떻게 더 해야하는지 감이 잡혀요 반수로 7월부터...
-
난이도 평가 5
아직 평가원 기출 난이도에 대해서 잘 모르는데 이 정도면 몇 번 문제 난이도인가요..??
-
2합 4 맞춰야 되는 최저러인데 탐구는 아예 버린 상태입니다 6평 기준 언매 1...
-
저렇게 똑똑하면 살 맛 날듯
-
히카 ebs 0
연계교재 반영되어잇나여
-
이제 임정환 리밋 3단원 개념 끝났습니다 수능때까지 개념만 파야 하나요? 목표는 4등급입니다
-
아니 그러게 누가 청포도 주고 선지에 광야랑 절정 주래? 이거 2개 준거면 그냥 맞추라는 거잖아
-
울고 싶다 1
수능끝나면울어야지 엉엉
-
불면증 ON 3
자다 깨서 접속
-
그러다가 한능검 깔짝 하고 졸리면 좀 자는거지
-
실력이 느는 듯..
-
꿀모 시즌2 2회 69점
-
개념부족인가.....
-
흠
-
시발 시험인데
-
기출 각 단원별 주요 문제들만 해서 빠르게 회독하고 싶은데 좋은 문제집이 있을까요??
-
적중예감 적생모 리트 하트 사만다 take-off 시즌별로 다 샀음 세상이 실모로 가득해
-
댓글로 질문에 대한 답변을 달아주면서 느낀 건데 그냥 진짜 잘 됐으면 좋겠어요 늘...
-
배고픈데
-
오르비 지우고 생활해야겠다... 공부가 집중이 안되는 듯 화욜 저녁에 봐용
-
님들은 의식적으로 쓰심? 전 매우 ㅇㅇ
-
이게 맞나
-
졸려죽겠다 1
밤낮 바꿔야하는데 곧 잠올듯
-
수학 실모 3페이지 한시간동안 쳐보고있는새끼는 처음이네
-
후
-
대화 오래 했네
-
하..
-
이게 맞나?
-
상계 지문 이거 왜 다 경제라 함? 9모 사회는 공정거래법 제외하고 RPM만 떼놓고...
-
ㅅㅂ
-
가사를 음미하면서 들어보시길 추천드립니다! 저는 " 완벽하지 않아 기쁜 걸 "...
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.