p⇒qはqであるための必要条件ですか?