Definition:Conditional/Necessary Condition

From ProofWiki
Jump to navigation Jump to search


Let $p \implies q$ be a conditional statement.

Then $q$ is a necessary condition for $p$.

That is, if $p \implies q$, then it is necessary that $q$ be true for $p$ to be true.

This is because unless $q$ is true, $p$ cannot be true.

Also see