제발.. 오르비 천재님들.. 도와주십시오..
게시글 주소: https://old.orbi.kr/00071901928
1. (A가 거짓->모순)->(A가 참이라는 증명이 있음)
1번은 귀류법이고 참
1번의 대우명제는 2번
2. (A가 참이라는 증명이 없음)->(A가 거짓 and 무모순)
2번이 참이니 3번이 참
3. (A가 참이라는 증명이 없음)->(A가 거짓) 이 참이고
3번의 대우는
4. (A가 참)->(A가 참이라는 증명이 있음)
3번과 4번에 공리를 대입하면
(공리가 참이라는 증명이 없음)->(공리가 거짓)
(공리가 참)->(공리가 참이라는 증명이 있음)
원래 공리는 참이라는 증명이 없으니, 공리가 거짓이고
원래 공리는 참이라고 하니 공리가 참이라는 증명이 있음
0 XDK (+0)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
그게 수학이 더 어렵다는 방증이야
-
의치한약수 같은 거 제외하고 일반과 중에서 제일 높은 과가 혁신신약학과인가요?
-
영어 2->1 만드는법 12
3년전 평가원 더프 다 80중반 2등급이었고, 수능은 80이었습니다. 1형식...
-
오르비 하다가 재수 망했음 ㅇㅇ 안 해주면 서운하다 끝나면 캐삭 때리고 자러 감...
-
노엘ㅇㅈ 11
한달 전인데 머리 진자 덥수룩햇내.. 지금은 많이 가벼워짐
-
아 왤케 빡치지 11
아
-
점이 아홉개 잇는데 그걸 지나는 원임
-
그냥 이상하게 맛이 없어 치킨이랑 새우만 먹음 그냥 버거 goat는 싸이버거. 상하이. 이 둘임
-
라면에 말아먹고 남은 밥 돼지고기 장조림(캔) 계란후라이 김치 계란은 2월...
-
이론상 국어 잘하면 전과목 잘해야 하는 거 아님? 14
독해력 이해력 좋아지니까 근데 이론이랑 현실은 달라
-
제발 한번씩만 더하면 안될까요 부탇이에요
-
절 믿고 1000덕을 쏴주신분께는 1500덕 지급하였습니다 12
좋은 일 했다
-
진짜 쌍커풀.. 9
. . . . . . . . . . . . . . . . . 쌍 커플...
-
ㄹㅇ
-
이해안갔는데막상이나이되니까존나부럽네현역
-
저도 사실 여르빈데 11
진자임
-
예의가 없음
-
여자임
-
현역들은 투투해라 12
대학을 버리고 가오를 챙겨라
-
맞팔 구해요요 12
넵
1은 ~A -> A가 참이라는 증명이 있다 와 동치에요. 귀류법과 무관해요
(A가 거짓일때 모순이 생기면)->A가 참이라는 증명이 있따
p-> 모순 <=> ~p
(A->모순)<->~A 라는 말인가요?
네 1은 A -> A가 참이라는 증명이 있다와 동치에요. (첫 댓이 틀림)
그냥 A라고 두지말고 "A가 참이라는 증명이 있다 없다"로 나타내주시면 안되요?
그렇게 했잖아요
님은 그냥 A자체만 논하지 않으셨음?
쿠쿠리의 주장 중 1번 명제는 다음과 동치이다
A -> A가 참이라는 증명이 있다.
1번이 왜귀류법이 아니죠
귀류법은 증명법이잖아요
p->q <=> (p and ~q) -> 거짓
임을 이용하는 증명법인데, 1번 명제가 참인 이유를 귀류법이라고만 하면 납득이 안돼요
1번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다