제발.. 오르비 천재님들.. 도와주십시오..
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를 선물하세요.
-
엄마나 쌤이나 친구나 갈등할 일 생기고 상처받고 눈치보일 때 그냥 잠깐 다멈춤 하고...
-
3이상 맞았다는 전제하에 ㅇㅇ 그냥 유전위주로 파다가 6모쯤부터 무한 실모+오답...
-
면허응시비용에 써야겠네
-
성심당 가고 싶어요
-
인식이 안좋은것 같아 마음이 아파요
-
평범한 여자 손크기인데 지금 폰이 미니사이즈라서... 카메라 땸에 가고 싶은데 별로 일까요?!?
-
혹시 자퇴 처리 기간이 어느 정도 걸리셨나요?
-
수시재수라 공부는 거의 안 해도 됨
-
맞팔구 3
-
시대인재 0
시대 6평 편입도 장학제도가 있나요
-
과는 자유전공인데 전전 갈거임 (인원수제한x) 그래서 1학년때 미리 전공 들어놀건데...
-
UAA&DCAF 팀에서는 2월 초에 나온다고 했는데 3월 전에는 나올까요
-
여러분 저 질문좀요 추합 한바퀴 돌앗다는건 뭔뜻이에요? 2
예를들어 120명 모집 학과면 1배수 돌앗다는거는 최초합 받른120명이 다...
-
질문글 0
답장 없으면 섭섭하다
-
김기현 파데 완강했는데 킥오프 안 하고 시발점 했다가 다시 아이디어로 넘어가도 될까요?
-
얘 이름이 뭐임 3
-
이단나스타 0
굿
-
인스타 아이디 5
지금쓰는건 주먹쳐서 만든건데 이제 대학가니까 좀 바꾸려고함 영문이름을 한글타로...
-
확통 진짜 아닌것갗으므 기하는 내신때 해봤고 미적은 아예쌩첨인데 지금 넘어가도...
-
살 빼야되는데 3
운동 추천좀 아파트 헬스장 갈거임
-
메디컬 목표로 재수해서 아직 정시 추합기다리는 중이긴한데 어떻게 되건 상관없이...
-
한끼 먹는 대신 좀 맛잇는거 먹고 싶음
-
맞팔구해여 ㅎㅎ 5
최근에 옯 별로 안했더니 팔로우가 많이 떨어짐.. 잡담 태그 잘 달아여 !!
-
대학교 다른곳 예비 받앗는데 합격한곳 등록금 기간이 추합 전인데 어케해야해요? 2
등록금 안내면 날리는건데 예비 받은곳은 또 합격할거같고
-
안녕하세요. 이제서야 공부를 제대로 시작하려는 고3 입니다. 갑자기 입시에 무지한...
-
자연기준 올해 300까지 돈다 안돈다
-
간식1차 ㅇㅈ 1
ㅈㄱㄴ
-
노베수학질문 2
예비고3이고 모의고사는 4등급 고정인 사람입니다. 부득이한 사정으로 수능공부를 이제...
-
수특이랑 더텅이 2
수욜에 온다니 그럼 오늘내일은 뭐하면서 지내야하는거니 크아앙
-
자살하고싶다 4
ㅜㅜ
-
고민이 많아서 하는거다
-
정치병자들 너무 싫다 10
유튜브 보는데 정치랑 아무 관련도 없는 영상에 등장해서 1찍이 어쩌고 2찍이 어쩌고...
-
게이밍 노트북이랑 맥북 빼고 추천 좀요 컴공 컴퓨터공학과 컴퓨터과학 컴퓨터사이언스...
-
화학같은 특이케이스 제외하면 12~15%정도 줄었는데 더 가속화되려나요
-
메뉴는 돌솥비빔밥! 이제 스벅 ㄱㄱ혓
-
재료공학과VS 교통공학과 중 진로, 취업률, 연봉, 워라벨 어떤가요? 0
지인 자녀가 인서울 편입 합격하였습니다. 기존 재학 대학: 수도권 재료공학과 편입...
-
뿌직 5
뿡
-
기숙사 신청완료 11
2인실 슈웃~ 제발2인실젭ㅂ라
-
왤케다아니꼽지 3
음
-
= 싸이코패스 식사 직후 흡연 = 개씹알파메일 식사 직후 응가 = 토끼
-
유튜브할까 8
졸업~취뽀
-
걍 내 성격일지도… 호감잇는 상대 연락을 자주 안 보게 되는듯 뭐라 답장해야댈지...
-
네이버캘린더에 하루전 알림 해두면 당일에 까먹음 아뭐엿지 수준이 아니라 그냥 홀랑...
-
성격이 이상한게 6
감정이 제어가 전혀 안 됨 부정적인 감정뿐만 아니라 긍정적인 감정까지도 한 번...
-
캬 뱃지왔다 시발 섹스 14
확실히 연뱃을 받고 나서 내 인생이 달라졌다. 원래는 고딩때 일진 눈도 못마주치고...
-
암욜맨~
-
여덟 번 웃고 여섯 번의 키스를 해줘 날 열어주는 단 하나뿐인 비밀번호야
-
음음 그래그래 1
이미 망한 시간표 온강이라도 주워담아보자꾸나
-
랜덤뽑기인가여?
-
대학 졸업하자마자 하는게 제 로망임
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번은 귀류법이 아닌가요?
네
하 제 지능이 낮아서 설명을 잘 못알아 듣습니다 죄송합니다