warunek konieczny,
log. każdy wniosek wypływający z określonego faktu;
warunek konieczny
Encyklopedia PWN
np. warunkiem koniecznym podzielności danej liczby przez 12 jest jej podzielność przez 4 (jeżeli jakaś liczba jest podzielna przez 12, to jest podzielna przez 4).