かいとうにっき

自然な定義

命題p,qに対し p⇒qが成り立つ時
pはqであるための十分条件という。

qであるという事をいうためには、pを示せば十分という意味です。
十分とは、国語辞典では「条件を満たして、不足がないさま。」とあります。