Rudolf Adamkovič Personal site

Up: Logic   [Top][Contents]

Antecedent

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]

© 2025 Rudolf Adamkovič under GNU General Public License version 3.
Made with Emacs and secret alien technologies of yesteryear.