이 명제 증명할때..
게시글 주소: 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)
유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.
-
시간 없어서 정답 찾으니 없는 듯하네요.아시는 분 부탁드립니다.
저거 대전제라서 역이대우로 명제를바꾸더라도 안바뀝니다
예를들어서 삼각형 ABC에대해... 이런명제많이보신것처럼요
아 그렇군요..감사합니다.
저 죄송하지만 대전제라는게 조건의 전체집합이라 봐도 되나요