命題「AならばB」が成り立つとき、AはBであるための十分条件という