모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
악몽 꿨어 8
-
아침을 한 6시쯤 먹음. 내 기억에는 누룽지같은거 대충 물에 끓여서 달라했던거로...
-
한우물만파야하는듯 15
뭐 좀 공부하다가 몇달, 아니 몇주만 놔도 리셋 되버리니깐 공부를 해도 의미없는것...
-
ㅜㅜ 갑자기 평소보다 안들리고 안풀리면 어떡함 그게 젤 걱정되고 쫄림 틀리면 안되는거라 그런지 ..
-
수험생은 주무십쇼 지금
-
친구들이 멘날 놀려요
-
운동 평균 5등급인데 Pt가 낫나요?
-
아이고 근데 진짜 효과 있나요? (진짜모름)
-
가서 자라
-
지금 고3이고.. 현역입니다. 고3이 됐을때도 위기의식을 못느끼고 인생 될대로...
-
궁금하네요
-
흘린 수많은 땀방울들과 내가참아온 차가운 눈물들
-
잘 몰라서 그런디 등급 어느정도 맞아야 안정권인가요? 백분위도여! 선택은 언매 미적...
-
ㅈㄱㄴ 빌런일까요? 다들 시험푸느라 정신없을거같은데.. 평소에 고개끄덕이면서 풀어서..
-
안녕하세요 4
반갑습니다.
-
비틱질이 아니라.. 풀 때 생각보다 잘 풀려서 나 실력 오른건가 하고 이모로...
-
슬슬 주무시죠 3
일찍 주무셔요들
-
와 60받음 3
ㄷㄷㄷ 부담감 오짐
-
에타만 보면 알 수 있음
-
과탐실모 3
별로 많이 못푼게 너무 아쉽네ㅜ
-
올해수능준비하면서 그래도극복많이한듯
-
감놔라 배놔라 하는거 보면 웃김 한국 참 남한테 관심 없는 나라라면서 음침하게 관심...
-
자습 시간은 안주는걸까
-
학교 축제에서 반 학급 전체가 장기자랑 준비하는 경우도 있던데 다들 뭐 해보셨어요?...
-
하 어카지요
-
실모단 : 언매4 미적1 영어4 물리3 화학3 담요단 : 화작2 확통5 영어2 생윤1 사문3
-
수능이 끝나면 오르비는 대거 물갈이가 된다고 합니다 11
그렇지만 그 물살을 억지로 버티는 몇몇 오르비언들이 존재한다네요~
-
수능 걍 1
빨리 끝났음 좋겠다 이젠 기도와 복습 뿐 걍 끝나고 침대에 누워서 하루종일 넷플...
-
아으 추워 1
으슬으슬 떨리네 이불 덮고 잘걸 ㅋㅋ
-
사회문화 퍼즐형 2
퍼즐형 혹시 빨리 푸는 팁이라던가 행동 있을까요.... 매번 여기서 시간이 좀...
-
걍 울고싶다
-
내년엔 다른 쌤 들어야 할 듯 김승리쌤이 안좋다는건 아니에요 문학의 경우는 정말 큰...
-
지금 활동하는 사람들은 다 나같은 사람인가
-
모든 인간관계 다 잘라내고ㅋㅋ 어차피 이미 꽤 많은 애들한테 배신당했는데 남은 애들...
-
안구 건조증이 심해서 20분 간격으로 넣게되는데
-
실모.. 2
이감 6-6 89 히카 32 85 2406 81 적중예감 파11 45 파12 39...
-
하나도 없나요 ..?
-
어이어이
-
다 같이 사이좋게 가자
-
팀 화작 화이팅 0
만표 140 넘어보자
-
친구가 고전소설만 연계됬다는데 지금까지...
-
내일은 그냥 공부하고 수요일 쯤 실모 하나만 더 풀거 같은데 이감 엣지 2회...
-
과탐2 시간때 과탐1 가채점표에 작성해도 괜찮음?
-
ATG와 연표를 벅벅 정법은 책만 빠르게 훑기 제발 사탐 5050 제발
-
자랑 2
카카오 한달 적금 성공ㅋ
-
기균ㅋㅋ 내얘기임 제일친한친구..긴한데 ㅅㅂ 그생각할때마다 혈압오름
-
누가 취향임?
-
마지막으로 기출 돌리다가 헷갈리는데 무역이 일어나는 상황에서 국내 거래량을 물어보면...
-
에휴이
-
일급찐따아님
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.