Necessity and sufficiency
Conditional or implicational relationship between two statements: a necessary condition is one which must be present in order for another condition to occur, while a sufficient condition is one which produces the said condition
In logic and mathematics, necessity and sufficiency are terms used to describe a conditional or implicational relationship between two statements. For example, in the conditional statement: "If P then Q", Q is necessary for P, because the truth of Q is guaranteed by the truth of P. (Equivalently, it is impossible to have P without Q, or the falsity of Q ensures the falsity of P.) Similarly, P is s... Wikipedia