Up: Conditional [Top][Contents]
The statement \(P\) in the conditional statement
\[\begin{equation*} P \implies Q \end{equation*} \]
that is said to be
(Levin, 2021, sec. 0.2)