Necessary condition

A condition without which another statement does not obtain. Q is a necessary condition for Pin the claim, “If P then Q.” If Q does not obtain, P does not obtain. It is not the case, however,that if Q obtains, P does, as well.