Wikipedia:

Warunek wystarczający (inaczej warunek dostateczny) – każdy warunek, z którego dany fakt wynika. Jeżeli warunek wystarczający zachodzi (wystarczy, by zachodził), wówczas zachodzi dany fakt.

Na przykład, jeżeli liczba jest podzielna przez 10, to jest podzielna przez 5. Fakt podzielności przez 10 jest warunkiem wystarczającym dla podzielności przez 5, natomiast fakt podzielności przez 5 jest warunkiem koniecznym dla podzielności przez 10.

Warunek wystarczający nie musi być warunkiem koniecznym — liczba nie musi wcale być podzielna przez 10, by była podzielna przez 5.

Warunek konieczny – wniosek wypływający z danego faktu. Jeżeli fakt ma zaistnieć, to zaistnieć (koniecznie) musi również fakt będący wnioskiem.

Na przykład: jeżeli liczba jest podzielna przez 15, to jej ostatnią cyfrą jest 0 lub 5.

Jest to oczywiste, bo liczba podzielna przez 15 jest podzielna przez 5, a ostatnią cyfrą takiej liczby może być jedynie 0 lub 5. Zatem — to, że ostatnią cyfrą liczby jest 0 lub 5 jest warunkiem koniecznym dla podzielności przez 15 — liczba KONIECZNIE musi mieć ostatnią cyfrę 0 lub 5, by była podzielna przez 15. Nie ma zatem sensu badanie podzielności przez 15 liczb, które nie kończą się na 0 lub 5.

Nie jest to jednak warunek wystarczający — liczba może kończyć się na 0 lub 5, a jednak nie być podzielna przez 15.

podsumowując:

• wystarczy aby zachodził warunek dostateczny aby zachodził dany fakt
• musi wystąpić warunek konieczny aby wystąpił dany fakt