수학황님들 도와주십시오..
게시글 주소: https://a.orbi.kr/00071901689
1. (A가 거짓->모순)->(A가 참이라는 증명이 있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2 .(A가 참이라는 증명이 없음)->(A가 거짓 and 무모순)
A에 "공리" 대입하면
"공리가 참이라는 증명이 없으면->공리가 거짓"
그리고 원래 공리는 증명이 없으므로
공리는 거짓.
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
질문바됴ㅡㅂ니다 0
ㄱㄱㄱㄱㄱ산넘는걸로해줘
-
우후후
-
걍 얼추 n년 옯데이터 경험상 + 주변도르
-
1~22번까지만 있는 하프모의고사 푸는데 한시간 잡고 푸는게 적당한가요? 너무 빡센거같아서ㅠㅜ
-
잡담태그만 달고 올리면 앞으로 모아보기에 제 글 안 나오는건가요 1
그럼 뻘글을 쓰면 큰일나는거 아닌가
-
진짜개꿀인대
-
문을 열고 들어서며 웃는다 카운터엔 이나님이 날보며 주문을~ 받는다~
-
짇문 받겟다 6
해줘잉
-
그치만.. 이렇게라도 하지 않으면 와타시짱은 국어에 관심도 없는걸!
-
외이도염 하
-
머리아파 5
술먹으면서애니여캐이상형월드컵1024강돌림
-
ㅈㄱㄴ
-
커뮤충임? 탐구는 사탐이라 안들음
-
탐구는 몰라
-
안녕하새요 2
반가우어ㅛ
-
조합론 코딩 시사경제 해석학 해보고 싶은게 많은데 걍 다 처음이니까 힘들어서 젤...
-
재종생이라 나머지 과목 갈켜주시는 분들은 인강을 안하심...
-
왜클릭
-
모 주식 30퍼는 담으라고 권고해드렸음
-
인강 현우진 빼도 1타 들어본적 함벋도 엊ㅅ음 김동욱/이원준 현우진/장영진/양승진...
-
반갑습니다 2
방금 왓네요
-
질문해드림요 22
-
다들어봐서 아무도 안들음 ㅇㅇ..
-
나진환이 ㄹㅇ 아이돌임 10
그냥 말도안되게 잘생겨서 티비 보듯이 수업 들음 이동준 나진환 유신 렛츠 고
-
나잘께 6
늦었따
-
강민철, 현우진 2
렛츠고
-
참치 참치 고추참치
-
진짜 쌍커풀.. 9
. . . . . . . . . . . . . . . . . 쌍 커플...
-
모밴이 뭔가요 10
구글 쳐봤는데 뭔 소린지 잘 모르겠음
-
가천대 상명대 1
공대 기준 두 학교 중 어디가 더 괜찮은가요? 거리는 비슷하구요 과 자체는 다른데...
-
레츠고
-
ㅊㅊ좀 평균적으로 데이당 어려운거 한두개 틀린듯
-
강의 듣는 맛이 있었어
-
헬스장은 안 다닐거라 좀 눈치보여서
-
영어는 공부 안한다는 뜻.
-
그날 새르비 2명 정도 봤을 듯
-
다군이고 270명 뽑는데 대충 얼마나 돌까요? 작년에 중대 경영은 210명 뽑는데...
-
맛있는거 먹는게 즐거워요
-
?
-
둘중에 뭐고름
-
지금도 삶 속에서 누굴 찾아 헤매나요
-
두번다신 쫄려서 못하겠음
-
깝치면안되겟내
-
1,2칸 우주 상향 박은 사람도 붙을 수준인거임????????
-
일본어와 한국어는 친척언어이려면 아주아주 먼 과거에 분화돼야 함 3
그게 현재로선 유일한 시나리오 거진 기원전 2000년 전은 돼야 같은...
-
이미지 써주세요 20
감사합니다
-
스토리보는데 5
중딩때 동창 개이뻐졌네 ㄷㄷㄷㄷ 남친없는거같은데 디엠해볼까
-
탈릅하려하는데 1
심찬우쌤 강의는 들어야하는데 커뮤만 탈퇴 못하나요?
-
어으 취핮다 5
얼굴 빨게짐
-
빨리 들어갔는데 터졌을 때... 그거 뭔지 알거든..
A에 공리를 대입하면
1번 명제는 공리가 거짓이다랑 동치인데, 귀류법이랑은 무슨 상관인지 모르겠어요.
A가 거짓일떄 모순이 생기면 A가 참이라는거죠