모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: 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
부지런행
-
핫도그하나 닭곰탕 한그릇 과자 한봉 비엔나 세개 메추리알 다섯개
-
작년 수능에서는 화작 0틀 백분위 91인데 6,9모에서는 하나씩 틀렸었습니다. 제가...
-
주식 들어가면 0
아오 내가 들어가면 쳐 내리네 ㅋㅋㅋㅋ
-
-
눈온당 0
-
출석부! 출석부 출석부! 지하철! 지하철 지하철! 공산당! 공산당 공산당! 진짜...
-
스타킹 0
찢기
-
이시간에
-
불면증.. 4
원하는 기상시간보다 45분이나 일찍일어나버렸다
-
잘까 4
흠
-
안자면 큰일날듯 1
옯붕이들 ㅂㅂ
-
2차 얼버잠 2
이젠 진짜 ㅃㅃ
-
동서연고. 1
무요.. 왜요.. 혼잣말이에요..
-
다시 했을 때 메디컬 가능성 얼마나 보시나요?
-
잘때가된건가 5
슬슬
-
발 300 11
손도 많이 큼
-
꾸준히 햇으면 꽤나 올렷을거 같은데 오랜만에 하려니 계속 같은 곳에서...
-
ㅅ..ㅂ 요즘에도 한달에 한번은 뛰다가 무조건 삐는 것 같다
-
키작은 사람이 6
큰 사람보단 끌림
-
마스터 등반 시작
-
재밋는건같이해요
-
귀가 ㅇㅈ 2
사실 아까 퇴근하면서 찍었어요
-
키작으면 좋은점 4
애들이 귀엽다고함 헤헤
-
ㅋㅋ 난 작년에 2
공부하는거에도 기출이 잇엇음.한국 기출만 봤을 때2008년도부터 2023년도 기출된...
-
새르비 화력 테스트 18
유동인구 10명 넘을까?
-
팩트는 0
마이 베스또 프렌드들은 몇시간째 디코를 하며 롤을 하고 잇다는거임.지금도 디코에...
-
굿모닝 1
ㄱㅁㄴ
-
-
-
오르비 굿밤 2
전 자러감
-
서버 어머같네요 0
ㅎㅎ
-
-
맞팔 구합니다 3
현역학생입니다 물리러에요
-
ㅇㅂㄱ 1
수업가야겠군
-
연구원인데 떼잉,,삼각함수랑 수열을 훨 잘함 지로함에 비하면
-
ㅇㅈ 13
새벽이니까 다행일듯 내 손임 펑~~
-
학벌딸 치고 싶어서 인거 같음 그냥 병신 한남 자존감 밑바닥 루저새끼라 뭐라도 하나...
-
안 맞게 공부를 하고 잇음 ㅋㅋ,,내 공부 이론대로 하는 공부가 좀 상당히 피곤함....
-
내 차단리스트 1
없음뇨
-
침대에서 자면서 망상함
-
지로함 6
평가원에선 잘 모르겟는데 (어렵게 안 내서), N제같은거 보면 되게 재밋는 문제...
-
무슨 이미 의대 붙은 것마냥 의대 성적 되면 의대를 갈까 설대를 갈까? 의대 가면...
-
수강 신청 0
막 20학점씩 신청 해놓고 나중에 빼는 방법 좋나요? 예상대로 안될 때가 많으니...
-
기출 좋앗던거 3
241122 (개 잘 만든문제)121130 (함수의 증가속도, 아주 중요한 관점)...
-
국회증언법이랑 양곡법 이런거 비판하는 내용있으면 너무 그렇지??..
-
롤의정리 4
롤은 재밌다
-
공군 질받 9
암거나 ㄱㄱ
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.