¿Quién puede dar el significado en inglés de condiciones oficiales y condiciones necesarias?

Una condición suficiente es una condición suficiente

Una condición necesaria es una condición necesaria.

Si A es condición suficiente de B, A puede deducir que B se expresa como A->;

Si B es condición necesaria de a, B puede deducir que a se expresa como < -B

Un rango grande puede inferir si un rango pequeño es verdadero, pero un rango pequeño no puede inferir si un rango grande es verdadero.

ascript" src="/style/tongji.js">