Postačující podmínka

Postačující podmínka je vztah mezi dvěma tvrzeními.

Postačující podmínka Tvrzení \(A\) je postačující podmínkou pro tvrzení \(B\), pokud platí - \(A \implies B\) - nebo \(B \impliedby A\)