Implication

An implication is a logical statement of the form “if A, then B”, often written $A\Rightarrow B$.

It is directional: knowing that A implies B does not automatically mean that B implies A. This is why sufficient, necessary and equivalent conditions must be distinguished carefully.

See also: sufficient condition, necessary condition, equivalent condition, conditional theorem..