모든 명제가 참이면 무모순임을 증명(제발관심점)
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를 선물하세요.
-
그래봤자 달라지는 건 없는데 말야
-
바탕 컴팩트하니 맘에 들었는데 슬슬 미룬 상상과 이감 쳐야할 때가 옴... 상상...
-
러셀 장학제도는 비자관만 지원하고 단과는 할인이 없는건가요? (센텀러셀)
-
자기 전 질문 받음 14
-
아침에 복통 이슈가 있었지만 공부를 안전하게 마무리할 수 있게 해주셔서 감사합니다....
-
현생이미지메타 4
이사람현생이미지는어떨거같음
-
다른과목 안하고 수학만 96, 100 맞춰서 과외 할겁니다 미적분
-
현실적으로 국어 올려야되는 입장이라 슬픔 재능까지 안 바라고 공부안해도 3 이상...
-
수학 통합된 이후 가장 어려웠던 공통 시험지가 뭐임? 6
6모 9모 수능만 포함해서 개정이후 가장 어려운 공통 시험지가 뭘까요? 미적은...
-
수능 30번 예상 11
적당한 난이도인듯
-
선착순 1명 11
소원 들어줌
-
히카 홀수 시즌만 풀까 11
사유: 정병훈쌤 해강만 먼저 듣고싶음 어떤 시즌이 가장 문제 좋은가여 추천부탁
-
질문해주세요 7
-
?? 나 수술 ㅈㄴ 잘해서 1건당 10억씩 받고싶음
-
시대꺼는 팔던데 히카도 파는지 궁금
-
ㄷㄷ
-
수학을 포기한다 4
넌 3만나와 나머지 만점 받아볼게
-
11시 45분쯤 끌 예정 진짜 마지막이네...
-
홀란 왤케 0
꼴보기 싫냐 진짜루;;
-
화작 확통 생윤 사문 :) 근데 사문 나보다 잘함 아.
-
머가 제일 좋나요?
-
사설 국어에서 지문고읽고 문제 풀고 다 맞고 그다음엔 어떻게함? 지문 분석..?
-
살려주새요
-
서킷 5회 하나 틀림 10
에라이 문제는 개좋네요
-
수학 고난도 실모 추천 해주세요
-
저도 질문해주세요 42
샤워하고 나왔는데 몇개 없으면 민망튀할게요,,
-
국어 공부 꿀팁 1
흔들리지 말고 하던거 해라
-
아오
-
도파민이 필요행 2
-
먼가먼가 갑자기 궁금해짐 수학이나 탐구랑 달리 스스로 글 읽어서 풀어내는 과목인데...
-
기출만해라 아니다 이비에스 실모도 해라 등등등.. ㅈㄴ 더 불안만해짐 안그래도...
-
미적 기준 88이면 1 될까요..??
-
오늘의공부 1
국어 비문학 2지문 문학 4지문 언매 기출 영어 빈칸4지문 영단어암기 수학 실모2개...
-
아무리 힘들어도 다시 일어나게됨
-
최대 중앙대였을듯 원래 고2때까지 중대 목표했는데 오르비 보고 갑자기 눈 높아져서...
-
국어 백97이면 9
23수능때 성불했음
-
노뚝 노브렉으로 공도에서 스키딩하는거보먼 화를참을수없어
-
유전 맨날 운빨로 찍어맞추기 하다가 정석준T 수업 듣는데 그냥..보법이 다름 왜...
-
수학 5등급 노베인데 시발점 안하고 뉴런 괜찮나요? 9
야식 추천 좀
-
수시 지원한 대학들 중 캠퍼스명을 언급하지 않아 정확한 비교가 어렵고 혼란이...
-
명품 시즌이구만
-
공부인증 9
-
기숙 짝사랑 2
대화도 안해보고 거의 접점도 없는 여자애가 있는데 제가 걔를 너무 좋아하는 거...
-
우리 집안 어른들은 ㅈㄴ 논리적으로 정치 얘기 하시던데 6
나 명절때 그렇게 정치 얘기하는거 처음 봤음 진짜 엄청 조곤조곤하게 집안 어른들이...
-
갑자기 나오니까 당황스러워요
-
찐따라서 같이 입시하는 사람이 없는데 외로움을 덜 수 있음 공부잘하는 형아누나들...
-
[국어] : 박광일T 구주연마의 서 16강, 24강 인과관계 : 긴밀하게 연결 =>...
-
운동하고나왔는데 3
시원한바람부니까 좋군요
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요