모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: 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 끝낼 거에요 아직 지로함도 안 들어가긴 했는데 한완수 분량이면...
-
6시부터 지금까지 들음 인강 유기하고 있었는데 개 ㅈ될 것 같아서 … 그래도 3개...
-
이전회차들은 너무어려워서 유기할까 싶었는데 이건 풀다가 존나맛있어서 왜 현우진...
-
울고프다 7
미기확을 다 하라고? 미적이랑 확통을 건드릴 줄은 몰랐는데
-
n수셍특 7
찬바람만 불면 수능보고 싶어짐~
-
딱 1~2번 정도반 푸는 수준인데 5등급 턱걸이라도 하려면 어떻게 해야 됨? 확통만 파야 되나
-
하
-
불 예상이잖아요 근데 과학기술 버릴려고 다짐하고 들어가면 인문 가나도 꾸역꾸역...
-
수1 노잼이긴 한데 미적 하려면 어쩔 수 없네요
-
waenyamyeon ijebuteo gidarimi 24sigani neomeul...
-
만화 기생수 vs 기초생활수급자 Next to you 너무 좋다 진짜.........
-
보람차구나
-
10만덕 나눔
-
고지자기로 복각 추정한뒤 위도로 바꿔서 찍어준거였네...
-
고1 때부터 진짜 학교의노예마냥 살아왓는데 성적이 안돼서 정시로 인서울만이라도...
-
사문 모의고사 도표 문제 풀이 할 때 여백이 부족하면 어디에다가 적으시나요 보통??...
-
프로필이랑 이름 바꿨당 10
아무도 날 몰라보겠지? ㅋㅋㅋ 보여줄께 완전히 달라진 나~
-
아싸 특) 5
이렇게생김
-
치타가 걷기 시작했다 국영 버리고 수학물리몰빵한다
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.