Na závěr této kapitoly ozřejmíme ještě jeden obrat často používaný (nejen) v matematické literatuře, a sice vysvětlíme význam „nutné“, „postačující“ a „nutné a postačující“ podmínky. Platí-li tvrzení $A \Rightarrow B$, pak o $A$ mluvíme jako o postačující podmínce pro $B$ a o $B$ mluvíme jako o nutné podmínce pro $A$.
Důvod k tomuto názvosloví by měl být očividný. Platí-li tvrzení $A \Rightarrow B$ a víme-li, že $A$ je pravdivé, pak platí i $B$! Platnost $A$ tedy stačí pro to, aby platilo $B$. Naopak, pokud je tvrzení $A \Rightarrow B$ pravdivé a víme, že $B$ je nepravdivé, potom $A$ je nepravdivé. Tj. aby vůbec $A$ mohlo být pravdivé, tak $B$ musí být nutně pravdivé.
Konečně, je-li jisté tvrzení nutnou a postačující podmínkou pro $A$, pak je ekvivalentní $A$.
Nutnou podmínkou pro přijetí studenta na FIT ČVUT je podání přihlášky na FIT ČVUT. Podání přihlášky na FIT ČVUT ale není postačující podmínkou pro přijetí na FIT ČVUT.
Je sudost přirozeného čísla postačující pro jeho neprvočíselnost?
Není. Číslo $2$ je sudé a je prvočíslem.