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\).

(Levin 2021, sec. 0.2)

---

• Synonyms