Logic#

Implication#

If $P$, then $Q$; written as $P \implies Q$

Whenever $P$ is true, then $Q$ must also be true