Необходимое и достаточное условие¶

Определение. Если P→Q: Q — необходимое условие для P (без Q нет P), P — достаточное для Q (P гарантирует Q). При P↔Q условия необходимы и достаточны одновременно. Мнемоника: стрелка от достаточного к необходимому.