Definition:Conditional/Sufficient Condition

From ProofWiki
Jump to navigation Jump to search


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

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

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

This is because of the fact that if you know that $p$ is true, you know enough to know also that $q$ is true.

Also known as

Definition:Sufficient Condition/Also known as

Also see