안녕하세요 틀린말이 아닙니다. 맞는 말입니다. p는 q이기 위한 필요충분조건이면(가정) p는 q이기 위한 필요 조건이다(결론)이죠?? p는 q이기 위한 필요충분조건이다라는 말은 'p는 q이기 위한 필요조건이고 p는 q이기 위한 충분조건이다' 라는 말이므로 'p는 q이기 위한 필요 조건이다' 라는 결론은 타당합니다.