出典:デジタル大辞泉(小学館)

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