Nutná podmínka

Nutná podmínka je vztah mezi dvěma tvrzeními \(A\) a \(B\), kdy platí, že \(B \implies A\) (\(A \impliedby B\))

[!example] Příklad nutné podmínky: Tvrzení: Pokud nebude pršet, bude hezky. Toto tvrzení si můžeme rozložit na dva výroky: 1. Bude hezky (Výrok \(A\)) 2. Nebude pršet (Výrok \(B\))

Můžeme říct, že pokud nebude pršet, bude hezky.

Kdybychom ale směr implikace obrátili, tak už daný vztah neplatí! Nemůžeme tvrdit, že když bude hezky, že nebude pršet!