자습 [536203] · MS 2014 · 쪽지

2015-01-25 02:17:34
조회수 308

이 명제 증명할때..

게시글 주소: https://orbi.kr/0005567659


자연수 n에 대하여 n2이 3의 배수면 n이 3의 배수임을 증명 하여라.


여기서 '자연수 n에 대하여' 이건 뭔가요?


n^2이 3의 배수 가 가정조건 p 이고


n이 3의 배수가 결론조건 q 인건 알겠는데


자연수 n에 대하여는 대체 뭐죠...


증명 과정은 알고 있긴 한데 저눔땜에 찝찝하네요..대체 뭐라 받아들여야 하는건지...


저놈도 조건인가요? 조건이면 가정에 들어가는 조건인지...결론에 들어가는 조건인지..

가정 결론 모두에 들어가는 조건인지...모르겠네요..


가정,결론 모두에 들어가는 조건이라면


대우증명이 안되네요.. n은 3의배수가 아니고 n은 자연수가 아니면~ 이런식으로 되버려서..ㅜㅜ


p.s 증명 과정은 알고 있습니다만..대우 명제로 증명할때 ~q=>~p로 가게되는데 왜 'n은 자연수이다' 라는 놈은 왜 가만히 냅둘수 있는지 그게 궁금하네요..

0 XDK (+0)

  1. 유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

  • 궁궁구구룰 · 550579 · 15/01/25 12:20 · MS 2014

    저거 대전제라서 역이대우로 명제를바꾸더라도 안바뀝니다
    예를들어서 삼각형 ABC에대해... 이런명제많이보신것처럼요

  • 자습 · 536203 · 15/01/26 13:45 · MS 2014

    아 그렇군요..감사합니다.
    저 죄송하지만 대전제라는게 조건의 전체집합이라 봐도 되나요