모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://a.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를 선물하세요.
-
아 짜증 0
카테시안에서는 계산편한데 왜 구면좌표계에서만 꼴이 짜증나지
-
뭔가 공간은 오히려 기하 좋아하면 잘하게 될수밖에없음
-
수학 1목표 0
고2 9모 높2인데요 수학 열심히해서 1받고싶습니다 김기현쌤 현강 풀커리 탈려하는데 괜찮을까요?
-
여기서 ㄷ을 맞다고 봐야 하나고 틀리다고 봐야 하나요 답지가 없는 문제라서 질문 올립니다.
-
실모풀면서 실력이 덩달아 오르는건가요
-
안녕하세요! 새로운 교육의 시작, 더 엔 교육연구소의 The-N....
-
아는 사람 수능장에서 만나기
-
군대 ㄷ 재수 3
뭔가 제목이랑은 다른내용이지만 군대기다려주기 ㄷ 재수(기숙) 기다려주기 비슷하다보시나요
-
감사합니다
-
문장 구사력이 남들에 비해 좋대여.. 맥락을 구성하는데 생각을 한 게 보인다고 근데...
-
큰 보온병에 싸들고 와서 친구들이랑 모여서 먹음 냄새 개지렸는데 환기도 안시키길래...
-
자존감박살날때맨날들어요아주좋아요..
-
그냥 줘 0
덕코
-
대국민 사기극 아닌가요..ㅋㅋㅋㅋ 지금 교과로 넣은 2개대학은 증원 많이 된 곳이라 불안하네요
-
방구가 좀 많은 스타일
-
부탁드립니다.
-
이제밥먹고탐구실모수학n제영어실모탐구개념수특해야지
-
뉴스댓글보면 알수잇음
-
아 비염 ㅅㅂ 0
한달 고생중 whw같다
-
과자 먹고 싶다 4
달달한 과자
-
방송에서 듣기 시작전에 넘기지 말라고 나오는데 파본검사 해도 되나요? 또 탐구는...
-
질문받음 2
ㄱㄱ
-
맘에 안듬..
-
몽환적인 노래 2
https://youtu.be/0WQ78mAN4Do?feature=shared 공부 화이팅
-
살려주세요 4
물2 자작문제가 너무 어려워요
-
시립대 논술 0
시립논술 붙으신 분들 중에서 얼마나 풀었는지 알 수 있을까요
-
3개월의 정든 공간을 떠난다 생각하니까
-
갑니다 6
이틀 뒤에 봅시다
-
대치동 대형학원에 30대 신참강사위주로만 영입해도 좋을거 같은데 절대안하겠지?...
-
영어 빈칸 4문제 난이도 보통 순서대로 어렵나요?
-
창업관련 질문 0
창업이나 사업같은 거 할려면 경영학과가 낫나여 아니면 컴공같이 공과대학이 낫나요?
-
이미 머리가 묶여있는 상태에서 풀었다가 다시 묶는 이유는 무엇인가요?? 일종의 루틴 같은 건가?
-
범죄 피해자 구조금 제도는 만약 피고인이 무죄 판결을 받는다면 피해자가 상해를...
-
전여친 때문에 2
반수 시작했는데 연락 왔네... 부산대 메디컬 가서 재결합 꼭해야겠다
-
“흉기차 10년 본다” 댓글 알고 보니…중국 댓글부대 2
전기차와 배터리, 스마트폰, e커머스 등 중국과의 경쟁이 치열한 산업 분야에서...
-
강케이 국어 0
젤 빡센회차 3개정도만 알려주세여
-
4등급 이상으로 올린 사람 있나요? 혹시 어느 강사님 들으셨나요?
-
배기범 만큼 스킬 많이 알려줌? 사실 이쪽 과목들은 학생들 칼럼이 더 자료가...
-
아침메뉴 추천좀 1
점심 겸 저녁이기도 함
-
13 15 22 30 틀렸고 미적입니다
-
햅췌이~.. 햅췌이~... 무기력한 소리 진짜 기운빠지고 웃겨죽겠음
-
문제는 풀리는데 머리 속에서 계속 노래가 들립니다... 안그러겠다고 다짐해도...
-
안녕하세요 6
-
아이패드(iOS 18)로 듣는데 맨날 오프라인 다운로드만 함 업데이트 하고...
-
드릴 123 느낌으로 대학가서 취미로 하면 좋을거 같았는데,,,,,
-
꿀모 0
시즌2 처음 풀어봤는데 진짜 좋네
-
이상한거 계속 틀어줘서 넘기는데 저걸 왜 넣은거임..? 보는사람있음?
-
힘들어 6
-
더프 기 빨린다 27
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.