이건어떰
게시글 주소: https://orbi.kr/00071315503
모순<->(A and not A)<->거짓
모순<->거짓
무모순<->참
---------------------------------
공리는 참이라는 증명이 없다
따라서 귀류법 증명도 없다
따라서 공리를 부정하면 "무모순"이다
---------------------------------
위 둘 을 연결하면,
"공리를 부정하면 참이다"
_______________________
전제가 참이면 결론이 참이다
대우명제
결론이 거짓이면 전제가 거짓
공리는 전제에 속한다
공리를 부정하면 무모순 은
공리가 거짓이면 무모순 이다
즉
결론이 거짓이면 전제가 거짓이고 전제가 거짓이면
공리가 거짓이고 공리가 거짓이면 무모순이다
줄여서
결론을 부정하면 참이다
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
얜 왜 부산교대 안쓴거냐
-
눈이너무간지러워 2 0
ㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜㅜ...
-
27년까지 탈릅 안할 사람만 댓글ㄱㄱ 28 2
믿는다?
-
주량 혼자서라도 재볼까 0 0
궁금하긴해
-
저 내신 때 수학 34점 맞고 2등급 나왔었음 ㅋㅋ 9 1
님들도 그런 적 있음?
-
기만 2 1
나는기만못함
-
선구안은 이거이거 bb
-
님들그거아시나요 6 1
https://docs.google.com/spreadsheets/d/1M5WZ6sN...
-
이해원설맞이드릴 0 0
2027 이해원s1 설맞이s1 드릴7 무슨 순서로 풀어야 하나요
-
불꽃 적중은 보법이 달라^^ 1 2
평가원 따라하려고 교수 감금하고 문항 구매해도 선생님의 불꽃 적중은 아무도 못이겨 :)
-
나 약수는 갈수있어 3 0
나 약수는 자주감 ㅇㅇ 약수역 할거 많더라...
-
아니 님들 반응 웰케 혜자임 6 1
이 정도면 늘품인성상이나 꾀꼬리상 올려도 ㄹㅈㄷㄱㅁ 해줄 듯
-
이게 대충 보니까 3 0
예과때 저공비행 하려면 그냥 할게 없는 수준인데 그래도 뭔가 공부를 해보려고 하면 할게 ㅈㄴ많음
-
근데 대체 언제 취함 9 0
얼굴이 빨개지고 눈에 핏줄이 보여도 어지럽지도 졸리지도 않는데
-
야식먹고싶다 0 0
근데 먹으면 잠못자겠지
-
저는 취해본적이 없어요 1 0
술자리 딱 2번갔는데 두번다 안취함
-
몇시쯤에 내야 이용자분들이 많이 보실까요??? 만약 이 글을 보셨다면 내일 제 N제...
-
라면먹고싶은데 6 1
시켜말아 근데배달만오천원채워야함
-
지금 이시간에도 9 1
나는 실시간으로 도태되고 있는거임
-
진지하게 경밑교임? 22 2
난 경북부산 경영도 되는 점수였는디 반수한다고 교대왓는디 동생 담임이 동생이...
-
반수할때 0 1
주말마다 혼술 때렸음 술로 스트레스 품
-
쓸데 없는거지만 심심하니 인증 14 1
-
오비르잘자 1 1
일단난안잠
-
노린게 아닌가 싶음 아쉽게도 실제 방영일은 530..
-
키미토 우타에바
-
김기현 아이디어
-
국수영이 약하고 과탐 성적이 여전히 낮아 삼수땐 사탐을 하기로 결정했어요...
-
하이볼 야르 4 0
전에 호로요이 마셨는데 그냥 탄산음료라 이번엔 좀 쎈거 마심
-
김동욱 김상훈 0 1
김상훈 문학론 듣는즁이고 만족함 비문학은 김동욱 선생님 들을건데 일취월장 문학독서...
-
ㅅㅂ우리반 존나 웃기네 2 1
체험학습 장소 정하는데 애새끼들이 싹다 봉하마을 가자그래서 쌤이 존나혼냄 안웃기면ㅈㅅ
-
깡총깡종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강종강...
-
히히 소주 두병 4 1
혼술 중 사랑한다 오르비언 !!!!
-
자다깸 0 1
기뷴 앜종음
-
진짜 산을 가는 건 아니구요 인생이 산으로 가는 사람들만 가입 가능합니다!!
-
시대인재 공모 넣었다가 떨어진 문항입니다. 문만 시작 후 세 번째로 만든 정말...
-
큰일났다 21 1
형이제부터오르비자주못들어온다
-
갑자기 궁금함
-
중딩때 자퇴하고 5수할껄 4 2
-
나도 뱃지달고싶다 2 1
어서 과기뱃을
-
유 인 원 일 걸 2 1
-
아 인생 날로먹고싶다 4 1
내일 로또 한장 사야겠다
-
오르비 굿나잇~ 4 2
고생하셨습니다
-
친구가 일일호프초대함 3 2
나 사회적자살시키려고작정했구나
-
kssd t iapk 이렇게 되려나?
-
칸트 지문 0 1
어렵다...
-
인생망해서 아무것도하기가싫은거야
-
김하온 진짜 멋있긴 하네 2 0
그래 너 우승 해라
-
과기대생 모여 3 0
과기뱃 만들기 운동하자
-
입문n제 1 0
수학 김기현 아이디어 완강하고 기생집 점프제외하고 다풀었는데 기현쌤은 점프랑 n제를...
-
샤워해야지 0 0
내일계획세우고 샤워하고 약먹고 쿨쿨슨하고 약기운에 깼다가 2차취침하고 다시일어나서...
대체 이 주장을 끊임없이 반복하는 목적이 무엇인가요.. 정말 순수하게 궁금해서 여쭙습니다
진정한 자유의 논리적 기반확보
공리를 부정하면 그 공리 안에서는 무모순이 아니라고요오오
공리를 부정하면 공리가 거짓이 되는데요
공리가 거짓이 되는게 아니라
공리를 부정하는 명제가 거짓이 되는거예요
A를 부정하면 A가 참이 아니라는말 아닌가요
이렇게 생각하셈
공리계 안에서 공리는 무조건 참임.
공리에 태클걸면 태클건 명제가 거짓임.