Необхідна та достатня умови
Умова є необхідною, якщо вона логічно випливає із висновку. Достатньою умова буде , якщо з неї випливає висновок. Наприклад, щоб число ділилось на 10, необхідно, щоб число було кратне 5, але ця умова не є достатньою. А от подільність числа на 10 є достатньою умовою подільності на 5. Умова, що є одночасово необхідною і достатньою, називається ознакою, або критерієм. Наприклад, ознака подільності на 10 – остання цифра числа це 0.