かいとうにっき

自然な定義

対偶は「qでないなら pではない」と言っているので、pであるためにqは必要（な）条件なのは当たり前のことです。

qが駄目なら pにならないと言ってるわけですから。