かいとうにっき

自然な定義

「ドラゴンボールが7個無ければ、神龍が現れない」
という文は、神龍が現れるためにはドラゴンボールが7個ある事が「必要」という意味です。

これは
「神龍が現れるならば、ドラゴンボールが7個ある」
の対偶です。

p:神龍が現れる
q:ドラゴンボールが7個ある
と記号で書けば
p⇒q
であり
qを pであるための必要（な）条件と呼ぶのはとても自然な事です。