모든 명제가 참이면 무모순임을 증명(제발관심점)
게시글 주소: https://io.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일 1풀실모 발싸
-
개인차인가요? 저는 요즘 하루에 씨리얼 두번이랑 곤약젤리만 엄청 먹는데 오히려 나은거 같은데
-
정병호쌤 0
좋아요? 깔끔하게 잘 가르치시 나요? 기출강의 들어볼려고 하는데 고2에요
-
강대x 난이도 0
평가원 시험지랑 비교했을때 어느정도 인가요 ?
-
더프 국어 0
원래 쉬운편임?
-
내즐거움이하나또없어졌어...
-
아파트 아파트 아 진짜 로제.....아
-
배고파 1
밥은먹어야지
-
10덮 성적표 1
잇올서치는데 수능전에 나오긴해?
-
6시 기상이 아니라 6시 취침을 해도 된다고?
-
안그래도 할거많은데 해야하나... 싶지만 션티가 1시간만 하라고해서 일단은 믿고...
-
다 들어봤는데 김승리쌤이 최고임 진짜로
-
오늘의공부 4
국어 강k 10회 수학 전국서바 14회/n제 20문제 영어 기적모 33회/단어암기...
-
훈련 편하거나 군수하려고 공군노리는것보단 육군보단 약간 더 수준있는 사람들이랑...
-
혼자가 아냐 노노노
-
오픈채팅방 만들었어요 17
찐따랑 놀아주실분,,
-
강대x 시즌4 1
이거 난이도 어떰 시즌1 or 시즌3 9/11회급? 아니면 그보다 더한 강k? 또는 걍 시즌2?
-
흠
-
영어공포증 어케극복함
-
ㅅㅂ
-
과탐실모치고나서 0
아니 개많이 틀리고 기가 죽어서 채점하고 좌절해야하는데 어 개많이틀렸네ㅋㅋㅋㅋㅋㅋ...
-
9번 10번부터 좀 무거웠음요... 발상 자체는 자주 출제되는 유형이라 접근은...
-
흔들린다 근데 이걸 +1 해서 얻는 게 있을까 으으
-
남고 전교2등이 전교1등에게 시험전날 여성호르몬강화제 몰래 타먹임 전교1등은...
-
오늘은 나을줄 알았는데 하루더 버리네 ㅠㅠ
-
보내주실수있을까요 모바일로 정오사항 탭이 안들어가져요 하...
-
문제에 대한 해설과 더 많은 무료 고난도 문제는 https://t.me/JerryEthic
-
어떤 사람이 똥 마려운 강아지처럼 1시간에 네 번씩 왔다갔다 해서 총무가 보다못해...
-
남고 전교2등이 전교1등에게 시험전날 남성호르몬강화제 몰래 타먹임 전교1등은...
-
내년 성대논술 3
최저 탐구 2개로 되면 최저충족률 많이 올라가지 않을까요..?
-
오랜만에 치유물로 힐링하고 싶음
-
이 시기 오르비는 많이 위험한데 징징이맘 재릅하면 다시 와야겠다
-
공부도 안되고 작년에 수탐 1일2실모도 그냥 했는데 올해는 1개만해도 힘들어서...
-
2학기 2차 끝-겨울방학 이전 시발점 수1, 수2(워크북 포함) + 쎈 겨울방학...
-
천만덕 가쥬아
-
인간다움을 느껴 남의 눈에 좋은 사람이기 전에 나 자신한테 먼저 화해를 청해...
-
정법 시대컨 1
파이널브릿지 vs 전국서바 뭐가 더 어렵나요
-
알려줘
-
김승리 현강 1
내년에도 두각에서 하나요?
-
교토대 교환학생 신청해야지
-
고등학교때 문과였고 대학도 문과로 갔다가 몇년 뒤에 미적과탐으로 교과최저맞춰서...
-
어떤 글을 봤을때 쓰고싶은 이모티콘이 생각나고 그게 어느위치에 있는지까지 기억남...
-
너네 주요과목 수평은 챙김???? 눈치 보여서 해야 될 거 같긴 한데
-
그냥 식 1분만에 나오는데? 하도 어이가 없어서 혹시나하고 해설지 봤는데 걍 똑같음...
-
내 반드시 그 소망을 이뤄드림 ㅇㅇ
꾸준하시네요
ㄹㅇㅋㅋ
ㅋㅋㅋㅋ
공리가 참임을 증명할 수 없으니 부정해도 무모순이라는 게 무슨 말임? 증명 없이 참으로 받아들이자는 게 공리인데
[(A=/=A)가 참] -> 이것부터 모순임
그렇게 참으로 받아들이지 말고 부정해보자는거죠
(A=A)를 부정하는거에요
A=A가 틀렸다고 생각해보자는겁니다
그냥 참참참으로 세 대 맞고 정신 차리실래요 아니면 다시 공부하러 가실래요
전 자유를 원했을뿐임..
의미 없고 비생산적인 질문으로는 자유를 얻을 수 없을 뿐더러 남의 시간만 낭비시킬 뿐임.
논리 공부 다시 하러 가시길
A=A가 참일 이유가 있나요?
그래요 님 말이 다 맞고 온세상이 무모순입니다.
이거 보면 예수님도 암 걸리실 듯
예수(신)은 전능하니까 실제로 모든명제를 참으로 만들수있지않을까요
그냥 관종 어그로꾼이었네
왜요 ㅠㅠㅠ
논리학에 대해 잘은 모르지만 수학의 개념처럼 그러하다 하고 납득하면 되지 않나요? 왜 그런지 이해하려고 하기 보다
저는 아무말이나 해도 되는 그런체계를 원해서요
1. 공리는 참이라는 증명이 없다
< 연역될 수 없는 명제입니다.
그냥 나무위키에 공리는 증명없이 참이라고 받아들인다고 적혀있던데요
아하 그말이였구나
철수가 죽었다=/= 철수가 죽었다 그럼 철수는 죽었을 수도 살았을 수도 있는 양자역학적인 상태인 것이네요....엄청난 인사이트입니다.