---

Consequent

Define

The statement \(Q\) in the conditional statement

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

that is

but does not necessitate it.

(Levin, 2021, sec. 0.2)