The statement \(P\) in the conditional statement

\begin{equation*} P \implies Q \end{equation*}

that is said to be

sufficient, but not necessary, for the consequent \(Q\).

[1, Sec. 0.2]

---