x > 7이면 x^2 > 49 이다
의 부정은 뭔가요?
또 "조건 p이면 조건 q이다" 의 부정의 일반식이 있나요?